- Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.details
|
|
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.details
|
|
(1 other version)Head or tail? de morgan on the bounds of traditional logic.Víctor Sánchez Valencia - 1997 - History and Philosophy of Logic 18 (3):123-138.details
|
|
Logical constants.John MacFarlane - 2008 - Mind.details
|
|
Notes on the art of logic.Nuel Belnap - manuscriptdetails
|
|
Sentence, proposition and identity.Jean-Yves Béziau - 2007 - Synthese 154 (3):371 - 382.details
|
|
(1 other version)Philosophy of Logic – Reexamining the Formalized Notion of Truth.P. Olcott - manuscriptdetails
|
|
Non-deterministic algebraization of logics by swap structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.details
|
|
A modal translation for dual-intuitionistic logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.details
|
|
On Language Adequacy.Urszula Wybraniec-Skardowska - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):257-292.details
|
|
Some calculi with strong negation primitive.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (1):97-100.details
|
|
On communication and computation.Paul Bohan Broderick - 2004 - Minds and Machines 14 (1):1-19.details
|
|
The Harmony of Identity.Ansten Klev - 2019 - Journal of Philosophical Logic 48 (5):867-884.details
|
|
On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices.Ramon Jansana & Hernán Javier San Martín - 2018 - Logic Journal of the IGPL 26 (1):47-82.details
|
|
(1 other version)Towards a Formal Ontology of Information. Selected Ideas of K. Turek.Roman Krzanowski - 2016 - Zagadnienia Filozoficzne W Nauce 61:23-52.details
|
|
A reduction theorem for normal algorithms.J. W. Swanson - 1966 - Journal of Symbolic Logic 31 (1):86-97.details
|
|
What is a Non-truth-functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
(1 other version)On the role of implication in formal logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.details
|
|
Intensional models for first degree formulas.Nuel D. Belnap - 1967 - Journal of Symbolic Logic 32 (1):1-22.details
|
|
Recovery operators, paraconsistency and duality.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2020 - Logic Journal of the IGPL 28 (5):624-656.details
|
|
(1 other version)l -Hemi-Implicative Semilattices.José Luis Castiglioni & Hernán Javier San Martín - 2018 - Studia Logica 106 (4):675-690.details
|
|
Subformula and separation properties in natural deduction via small Kripke models: Subformula and separation properties.Peter Milne - 2010 - Review of Symbolic Logic 3 (2):175-227.details
|
|
(1 other version)Ein Entscheidungsverfahren Für den Lewisschen Modalkalkül s 4.Rainer Krauskope - 1969 - Mathematical Logic Quarterly 15 (13-15):193-210.details
|
|
The Theory of Relations, Complex Terms, and a Connection Between λ and ε Calculi.Edward N. Zalta - manuscriptdetails
|
|
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.details
|
|
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.details
|
|
Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.details
|
|
Proof Theory for Functional Modal Logic.Shawn Standefer - 2018 - Studia Logica 106 (1):49-84.details
|
|
Prior’s OIC nonconservativity example revisited.Lloyd Humberstone - 2014 - Journal of Applied Non-Classical Logics 24 (3):209-235.details
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.details
|
|
On the proof theory of the modal logic for arithmetic provability.Daniel Leivant - 1981 - Journal of Symbolic Logic 46 (3):531-538.details
|
|
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.details
|
|
Sequent-systems for modal logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.details
|
|
Definition in mathematics.Carlo Cellucci - 2018 - European Journal for Philosophy of Science 8 (3):605-629.details
|
|
(1 other version)E, r, and γ.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.details
|
|
„Kauza Afthonios“: Ilustrácia k otázke správneho riešenia antických paradoxov.Vladimir Marko - 2014 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 1 (20):88-103.details
|
|
Gentzenizations of relevant logics without distribution. I.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (2):353-378.details
|
|
Quantification as an Act of Mind.Bas C. Van Fraassen - 1982 - Journal of Philosophical Logic 11 (3):343-369.details
|
|
(1 other version)On subsystems of the system J1 of Arruda and Da Costa.Igor Urbas - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2):95-106.details
|
|
A sequent calculus for type assignment.Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):11-28.details
|
|
What is a logical theory? On theories containing assertions and denials.Carolina Blasio, Carlos Caleiro & João Marcos - 2019 - Synthese 198 (S22):5481-5504.details
|
|
An alternative Gentzenisation of RW+∘.Mirjana Ilić - 2016 - Mathematical Logic Quarterly 62 (6):465-480.details
|
|
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.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
|
|
Reply to Belot, Elgin, and Horsten. [REVIEW]Bas C. van Fraassen - 2010 - Philosophical Studies 150 (3):461 - 472.details
|
|
Negation in the language of theology – some issues.Adam Olszewski - 2018 - Philosophical Problems in Science 65:87-107.details
|
|