- Logic, Language and Computation.[author unknown] - 2000 - Studia Logica 64 (3):415-421.details
|
|
The system LD.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (1):35-42.details
|
|
The System LD.Haskell B. Curry - 1953 - Journal of Symbolic Logic 18 (3):266-268.details
|
|
On the definition of negation by a fixed proposition in inferential calculus.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (2):98-104.details
|
|
A Theory of Formal Deducibility.Haskell Brooks Curry - 1966 - Notre Dame, IN, USA: [University of Notre Dame Press].details
|
|
A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.details
|
|
The notion of validity in logical systems with inexact predicates.J. P. Cleave - 1970 - British Journal for the Philosophy of Science 21 (3):269-274.details
|
|
The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Mathematical Logic Quarterly 20 (19‐22):307-324.details
|
|
The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):307-324.details
|
|
Caracterisation des Algebres de Nelson par des Egalites.Diana Brignole & Antonio Monteiro - 1969 - Journal of Symbolic Logic 34 (1):119-119.details
|
|
On the Representation of Quasi-Boolean Algebras.A. Bialynicki-Birula & H. Rasiowa - 1957 - Journal of Symbolic Logic 22 (4):370-370.details
|
|
On Constructible Falsity in the Constructive Logic with Strong Negation.A. Bialynicki-Birula & H. Rasiowa - 1970 - Journal of Symbolic Logic 35 (1):138-138.details
|
|
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.details
|
|
Multi-valued Calculi for Logics Based on Non-determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.details
|
|
Combining classical logic, paraconsistency and relevance.Arnon Avron - 2005 - Journal of Applied Logic 3 (1):133-160.details
|
|
A Non-deterministic View on Non-classical Negations.Arnon Avron - 2005 - Studia Logica 80 (2-3):159-194.details
|
|
The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.details
|
|
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.details
|
|
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.details
|
|
Subformula semantics for strong negation systems.Seiki Akama - 1990 - Journal of Philosophical Logic 19 (2):217 - 226.details
|
|
On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Mathematical Logic Quarterly 34 (5):385-392.details
|
|
On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):385-392.details
|
|
Connexive Modal Logic.H. Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 367-383.details
|
|
Generalized onrno negation.J. Michael Dunn - 1996 - In Heinrich Wansing (ed.), Negation: a notion in focus. New York: W. de Gruyter. pp. 7--3.details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknowndetails
|
|
Bilattices In Logic Programming.Melvin Fitting - unknowndetails
|
|
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.details
|
|
Logical Connectives for Constructive Modal Logic.Heinrich Wansing - 2006 - Synthese 150 (3):459-482.details
|
|
Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.details
|
|
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.details
|
|
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety.Dimiter Vakarelov - 1989 - Studia Logica 48 (4):565 - 575.details
|
|
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.details
|
|
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.Dimiter Vakarelov - 2006 - Studia Logica 84 (1):105-127.details
|
|
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.Dimiter Vakarelov - 2005 - Studia Logica 80 (2):393-430.details
|
|
A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16‐18):247-257.details
|
|
A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16-18):247-257.details
|
|
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.details
|
|
Some investigations of varieties of N -lattices-lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.details
|
|
Some Investigations of Varieties of N-Lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257 - 280.details
|
|
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.details
|
|
Axiomatic extensions of the constructive logic with strong negation and the disjunction property.Andrzej Sendlewski - 1995 - Studia Logica 55 (3):377 - 388.details
|
|
Constructive predicate logic with strong negation and model theory.Seiki Akama - 1987 - Notre Dame Journal of Formal Logic 29 (1):18-27.details
|
|
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.details
|
|
Semantical analyses of propositional systems of Fitch and Nelson.Richard Routley - 1974 - Studia Logica 33 (3):283 - 298.details
|
|
Applications of Kripke models to Heyting-Brouwer logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):61 - 71.details
|
|
A formalization of the propositional calculus of H-B logic.Cecylia Rauszer - 1974 - Studia Logica 33 (1):23 - 34.details
|
|
N-Lattices and Constructive Logic with Strong Negation.H. Rasiowa - 1969 - Journal of Symbolic Logic 34 (1):118-118.details
|
|
Algebraic Treatment of the Notion of Satisfiability.H. Rasiowa & R. Sikorski - 1955 - Journal of Symbolic Logic 20 (1):78-80.details
|
|
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.details
|
|