- On the complexity of propositional knowledge base revision, updates, and counterfactuals.Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 57 (2-3):227-270.details
|
|
Dual Systems of Sequents and Tableaux for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Bulletin of the EATCS 51:192-197.details
|
|
Systematic construction of natural deduction systems for many-valued logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Unknown (ed.), Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. IEEE Press. pp. 208-213.details
|
|
Polish Logic 1920-1939.Storrs Mccall - 1970 - Revue Philosophique de la France Et de l'Etranger 160:495-495.details
|
|
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details
|
|
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.details
|
|
(2 other versions)Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle.Karl Schröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):241-251.details
|
|
A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.details
|
|
Lectures on Linear Logic.Anne Sjerp Troelstra - 1992 - Center for the Study of Language and Information Publications.details
|
|
Decision problems for propositional linear logic.Patrick Lincoln, John Mitchell, Andre Scedrov & Natarajan Shankar - 1992 - Annals of Pure and Applied Logic 56 (1-3):239-311.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
(2 other versions)Many-Valued Logic.George Epstein - 1977 - Journal of Symbolic Logic 42 (3):432-436.details
|
|
(1 other version)Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details
|
|
(2 other versions)Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.details
|
|
Decidability and the finite model property.Alasdair Urquhart - 1981 - Journal of Philosophical Logic 10 (3):367 - 370.details
|
|
Many-valued logics of extended Gentzen style II.Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (4):493-528.details
|
|
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.details
|
|
Automated Theorem Proving. A Logical Basis.Donald W. Loveland - 1980 - Journal of Symbolic Logic 45 (3):629-630.details
|
|
Semantic Entailment and Formal Derivability. [REVIEW]E. W. Beth - 1959 - Sapientia 14 (54):311.details
|
|
Polish logic.Storrs McCall (ed.) - 1967 - Oxford,: Clarendon P..details
|
|
Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.details
|
|
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.details
|
|
(1 other version)On Jaskowski-type semantics for the intuitionistic propositional logic.Stanislaw Surma, Andrzej Wronski & Stanislaw Zachorowski - 1974 - Bulletin of the Section of Logic 3 (2):6-10.details
|
|
Many-Valued Logic.Nicholas Rescher - 1970 - British Journal for the Philosophy of Science 21 (4):405-406.details
|
|
(1 other version)On Jaśkowski-type semantics for the intuitionistic propositional logic.Stanisław J. Surma, Andrzej Wroński & Stanisław Zachorowski - 1975 - Studia Logica 34 (2):145-148.details
|
|
(1 other version)Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
(7 other versions)O logice trójwartościowej.Jan Łukasiewicz - 1988 - Studia Filozoficzne 270 (5).details
|
|
Linear logic : A survey.J.-Y. Girard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.details
|
|
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.details
|
|
An interpolation theorem in many-valued logic.Masazumi Hanazawa & Mitio Takano - 1986 - Journal of Symbolic Logic 51 (2):448-452.details
|
|
On the Existence of Finite Models and Decision Procedures for Propositional Calculi.R. Harrop - 1960 - Journal of Symbolic Logic 25 (2):180-181.details
|
|
A resolution principle for a class of many-valued logics.Charles G. Morgan - 1976 - Logique Et Analyse 19 (74-76):311-339.details
|
|
Studies in the history of mathematical logic.Stanisław J. Surma (ed.) - 1973 - Wrocław,: Zakład Narodowy im. Ossolinskich.details
|
|
(1 other version)The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3‐Valued Logics.Walter A. Carnielli - 1987 - Mathematical Logic Quarterly 33 (1):19-29.details
|
|
(2 other versions)Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (4):241-251.details
|
|
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.details
|
|
Many-valued logic.Nicholas Rescher - 1969 - New York,: McGraw-Hill.details
|
|
Complexity of resolution proofs and function introduction.Matthias Baaz & Alexander Leitsch - 1992 - Annals of Pure and Applied Logic 57 (3):181-215.details
|
|
Propositional Calculus and Realizability.Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (2):126-126.details
|
|
Many-valued Logics.Leonard Goddard - 1954 - Philosophical Quarterly 4 (15):188-189.details
|
|
(1 other version)On Different Concepts of Resolution.Alexander Leitsch - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):71-77.details
|
|
(1 other version)On Different Concepts of Resolution.Alexander Leitsch - 1989 - Mathematical Logic Quarterly 35 (1):71-77.details
|
|
(1 other version)Stanisław Jaśkowski. Recherches sur le système de la logique intuitioniste. Actes du Congrès International de Philosophie Scientifique, VI Philosophie des mathématiques, Actualités scientifiques et industrielles 393, Hermann & C ie, Paris 1936, pp. 58–61. [REVIEW]S. C. Kleene & Stanislaw Jaskowski - 1937 - Journal of Symbolic Logic 2 (1):55-55.details
|
|
Mehrwertige Logik: Eine Einführung in Theorie Und Anwendungen.Siegfried Gottwald - 1989 - De Gruyter.details
|
|
Many-Valued Logics.J. B. Rosser & A. R. Turquette - 1954 - British Journal for the Philosophy of Science 5 (17):80-83.details
|
|
An algorithm for axiomatizing every finite logic.Stanisław Surma - 1976 - In Computer Science and Multiple-Valued Logic. North-Holland. pp. 137-143.details
|
|