- Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences.Bhupinder Singh Anand - 2020 - Mumbai: DBA Publishing (First Edition).details
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Nominalistic systems.Rolf A. Eberle - 1970 - Dordrecht,: Reidel.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Wogegen wandte sich Husserl 1891?: Ein Beitrag zur neueren Rezeption des Verhältnisses von Husserl und Frege.Deodáth Zuh - 2012 - Husserl Studies 28 (2):95-120.details
|
|
Wogegen wandte sich Husserl 1891?: Ein Beitrag zur neueren Rezeption des Verhältnisses von Husserl und Frege.Deodáth Zuh - 2012 - Husserl Studies 28 (2):95-120.details
|
|
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - forthcoming - Studia Logica:1-29.details
|
|
The Cognitive Relation in a Formal Setting.Jan Woleński - 2007 - Studia Logica 86 (3):479-497.details
|
|
König's Infinity Lemma and Beth's Tree Theorem.George Weaver - 2017 - History and Philosophy of Logic 38 (1):48-56.details
|
|
The Completeness of Free Logic.B. C. van Fraassen - 1966 - Mathematical Logic Quarterly 12 (1):219-234.details
|
|
A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic.Bas C. van Fraassen - 1968 - Mathematical Logic Quarterly 14 (13-17):245-254.details
|
|
Axiomatic Natural Philosophy and the Emergence of Biology as a Science.Hein van den Berg & Boris Demarest - 2020 - Journal of the History of Biology 53 (3):379-422.details
|
|
Paradoxes of intensionality.Dustin Tucker & Richmond H. Thomason - 2011 - Review of Symbolic Logic 4 (3):394-411.details
|
|
Intensionality and paradoxes in ramsey’s ‘the foundations of mathematics’.Dustin Tucker - 2010 - Review of Symbolic Logic 3 (1):1-25.details
|
|
Understanding topological relationships through comparisons of similar knots.Carol Strohecker - 1996 - AI and Society 10 (1):58-69.details
|
|
Uniform Gentzen systems.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):549-559.details
|
|
Trees and nest structures.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):303-321.details
|
|
Peano's axioms in their historical context.Michael Segre - 1994 - Archive for History of Exact Sciences 48 (3-4):201-342.details
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.details
|
|
On A Neglected Path to Intuitionism.Ian Rumfitt - 2012 - Topoi 31 (1):101-109.details
|
|
Transgressions Are Equal, and Right Actions Are Equal: some Philosophical Reflections on Paradox III in Cicero’s Paradoxa Stoicorum.Daniel Rönnedal - 2017 - Philosophia 45 (1):317-334.details
|
|
Sets of theorems with short proofs.Daniel Richardson - 1974 - Journal of Symbolic Logic 39 (2):235-242.details
|
|
An isomorphism between monoids of external embeddings: About definability in arithmetic.Mihai Prunescu - 2002 - Journal of Symbolic Logic 67 (2):598-620.details
|
|
The infinite, the indefinite and the critical turn: Kant via Kripke models.Carl Posy - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):743-773.details
|
|
The infinite, the indefinite and the critical turn: Kant via Kripke models.Carl Posy - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):743-773.details
|
|
Reflections on the revolution at Stanford.F. A. Muller - 2011 - Synthese 183 (1):87-114.details
|
|
On Meaningfulness and Truth.Brian Edison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433 - 482.details
|
|
In the shadow of giants: the work of Mario Pieri in the foundations of mathematics.Elena Anne Marchisotto - 1995 - History and Philosophy of Logic 16 (1):107.details
|
|
Equivalence between semantics for intuitionism. I.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (4):773-780.details
|
|
A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.details
|
|
The phenonenological idealism controversy in light of possible worlds semantics.Wojciech Krysztofiak - 2007 - Axiomathes 17 (1):75-97.details
|
|
A Negationless Interpretation of Intuitionistic Theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (2):155-179.details
|
|
Interpolation theorems, lower Bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.details
|
|
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.details
|
|
A logic for reasoning about relative similarity.Beata Konikowska - 1997 - Studia Logica 58 (1):185-226.details
|
|
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.details
|
|
Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition.Dale Jacquette - 2016 - Logica Universalis 10 (2-3):191-213.details
|
|
Choice Sequences and the Continuum.Casper Storm Hansen - 2020 - Erkenntnis 87 (2):517-534.details
|
|
Choice Sequences and the Continuum.Casper Storm Hansen - 2020 - Erkenntnis 87 (2):517-534.details
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|
Lewis Carroll's Formal Logic.Francine Abeles - 2005 - History and Philosophy of Logic 26 (1):33-46.details
|
|
Model existence theorems for modal and intuitionistic logics.Melvin Fitting - 1973 - Journal of Symbolic Logic 38 (4):613-627.details
|
|
Nonsense logics and their algebraic properties.Victor K. Finn & Revaz Grigolia - 1993 - Theoria 59 (1-3):207-273.details
|
|
Category theory and concrete universals.David P. Ellerman - 1988 - Erkenntnis 28 (3):409 - 429.details
|
|
In the shadow of giants: The work of mario pieri in the foundations of mathematics.Elena Anne Marchisotto - 1995 - History and Philosophy of Logic 16 (1):107-119.details
|
|
From completeness to archimedean completenes.Philip Ehrlich - 1997 - Synthese 110 (1):57-76.details
|
|
Descartes on Mathematical Reasoning and the Truth Principle.John H. Dreher - 2020 - Open Journal of Philosophy 10 (3):388-410.details
|
|
An intuitionistically plausible interpretation of intuitionistic logic.H. C. M. de Swart - 1977 - Journal of Symbolic Logic 42 (4):564-578.details
|
|
The analytic-synthetic distinction and the classical model of science: Kant, Bolzano and Frege.Willem R. de Jong - 2010 - Synthese 174 (2):237-261.details
|
|