Decision and optimization problems in the unreliable-circuit logic

Logic Journal of the IGPL 25 (3):283-308 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Answer Sets and Qualitative Optimization.Gerhard Brewka - 2006 - Logic Journal of the IGPL 14 (3):413-433.
On graph-theoretic fibring of logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
Acknowledgements.Walter Carnelli, Paulo Mateus, Amilcar Sernadas, João Rasga & Lutz Schroeder - 2005 - Logic Journal of the IGPL 13 (6):738-738.
Optimization and improvement. [REVIEW]Paul Weirich - 2010 - Philosophical Studies 148 (3):467 - 475.
Relevance Logic: Problems Open and Closed.Alasdair Urquhart - 2016 - Australasian Journal of Logic 13 (1).
Optimization of a cooling circuit in an internal combustion engine for marine applications.G. Cantore, S. Fontanesi, V. Gagliardi & S. Malaguti - 2005 - In Alan F. Blackwell & David MacKay (eds.), Power. Cambridge University Press. pp. 10-05.

Analytics

Added to PP
2018-03-30

Downloads
17 (#742,076)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An Unexpected Boolean Connective.Sérgio Marcelino - 2022 - Logica Universalis 16 (1):85-103.

Add more citations

References found in this work

A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.

Add more references