Theory of Deductive Systems and its Applications
Journal of Symbolic Logic 53 (4):1260 (1988)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2274627
My notes
Similar books and articles
Theory of Deductive Systems and its Applications.S. Iu Maslov, Michael Gelfond & Vladimir Lifschitz - 1987
Categorical abstract algebraic logic: The criterion for deductive equivalence.George Voutsadakis - 2003 - Mathematical Logic Quarterly 49 (4):347-352.
Beyond Rasiowan Systems: Unital Deductive Systems.Alexei Y. Muravitsky - 2014 - Logica Universalis 8 (1):83-102.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Leibniz-linked Pairs of Deductive Systems.Josep Maria Font & Ramon Jansana - 2011 - Studia Logica 99 (1-3):171-202.
New types of hyper MV-deductive systems in hyper MV-algebras.Young Bae Jun, Min Su Kang & Hee Sik Kim - 2010 - Mathematical Logic Quarterly 56 (4):400-405.
An order-theoretic analysis of interpretations among propositional deductive systems.Ciro Russo - 2013 - Annals of Pure and Applied Logic 164 (2):112-130.
An Interrogative Model of Inquiry.Stephen Raymond Harris - 1990 - Dissertation, The Florida State University
Categorical Abstract Algebraic Logic: Truth-Equational $pi$-Institutions.George Voutsadakis - 2015 - Notre Dame Journal of Formal Logic 56 (2):351-378.
Validity, the Squeezing Argument and Alternative Semantic Systems: the Case of Aristotelian Syllogistic. [REVIEW]Catarina Dutilh Novaes & Edgar Andrade-Lotero - 2012 - Journal of Philosophical Logic 41 (2):387 - 418.
Categorical Abstract Algebraic Logic: Models of π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
Foundations for the formalization of metamathematics and axiomatizations of consequence theories.Urszula Wybraniec-Skardowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):243-266.
A Regress Objection to Thagard’s Theory of Deductive Coherence.Mathieu Beirlaen - 2015 - Erkenntnis 80 (5):975-986.
Analytics
Added to PP
2013-11-22
Downloads
13 (#767,640)
6 months
1 (#449,220)
2013-11-22
Downloads
13 (#767,640)
6 months
1 (#449,220)
Historical graph of downloads
Citations of this work
SOAR as a unified theory of cognition: Issues and explanations.Allen Newell - 1992 - Behavioral and Brain Sciences 15 (3):464-492.
Précis of Unified theories of cognition.Allen Newell - 1992 - Behavioral and Brain Sciences 15 (3):425-437.
SOAR as a world view, not a theory.Earl Hunt & R. Duncan Luce - 1992 - Behavioral and Brain Sciences 15 (3):447-448.
Reframing the problem of intelligent behavior.Stuart K. Card - 1992 - Behavioral and Brain Sciences 15 (3):438-439.
