- Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes.Catarina Dutilh Novaes - 2007 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.details
|
|
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
(1 other version)A new symbolism for the propositional calculus.William Tuthill Parry - 1954 - Journal of Symbolic Logic 19 (3):161-168.details
|
|
Harmonic inferentialism and the logic of identity.Stephen Read - 2016 - Review of Symbolic Logic 9 (2):408-420.details
|
|
The Different Ways in which Logic is (said to be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.details
|
|
(1 other version)What is strict implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.details
|
|
The elimination theorem when modality is present.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):249-265.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.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
|
|
Semantic pollution and syntactic purity.Stephen Read - 2015 - Review of Symbolic Logic 8 (4):649-661.details
|
|
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.details
|
|
Formalizations après la lettre: Studies in Medieval Logic and Semantics.Catarina Dutilh Novaes - 2006 - Dissertation, Leiden Universitydetails
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
(1 other version)Extending the Curry-Howard interpretation to linear, relevant and other resource logics.Dov M. Gabbay & Ruy J. G. B. de Queiroz - 1992 - Journal of Symbolic Logic 57 (4):1319-1365.details
|
|
The Interpretation of Formalized Implication.Haskell B. Curry - 1959 - Theoria 25 (1):1-26.details
|
|
Variants of the basic calculus of constructions.M. W. Bunder & Jonathan P. Seldin - 2004 - Journal of Applied Logic 2 (2):191-217.details
|
|