- A Methodology for Teaching Logic-Based Skills to Mathematics Students.Arnold Cusmariu - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (3):259-292.details
|
|
Introduction to Knowledge, Number and Reality. Encounters with the Work of Keith Hossack.Nils Kürbis, Jonathan Nassim & Bahram Assadian - 2022 - In Nils Kürbis, Bahram Assadian & Jonathan Nassim (eds.), Knowledge, Number and Reality: Encounters with the Work of Keith Hossack. London: Bloomsbury. pp. 1-30.details
|
|
Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherstdetails
|
|
Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.details
|
|
Introduction to Axiomatic Set Theory.Jean-Louis Krivine - 1971 - Dordrecht, Netherland: Springer.details
|
|
Arguing on the Toulmin Model: New Essays in Argument Analysis and Evaluation.David Hitchcock & Bart Verheij (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Remarks on Logic and Critical Thinking.Mudasir Ahmad Tantray - 2021 - Bilaspur, Chhattisgarh 495001, India: Rudra Publications.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
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Um Curso de Lógica.Ricardo Sousa Silvestre - 2011 - Petrópolis: Vozes.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
|
|
The Interpretation of Early Modern Philosophy.Paul Taborsky - 2018 - Newcastle upon Tyne: Cambridge Scholars Publishing.details
|
|
Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.details
|
|
Temas em filosofia contemporânea II.Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto - 2016 - Florianópolis, SC, Brasil: NEL/UFSC - Universidade Federal de Santa Catarina.details
|
|
Decision theory with prospect interference and entanglement.V. I. Yukalov & D. Sornette - 2011 - Theory and Decision 70 (3):283-328.details
|
|
The two modes of identifying objects: descriptive and holistic for concrete objects; recursive and ostensive for abstract objects.Miriam L. Yevick - 1978 - Behavioral and Brain Sciences 1 (2):253-254.details
|
|
Logic For Expressivists.Ruth Weintraub - 2011 - Australasian Journal of Philosophy 89 (4):601 - 616.details
|
|
Induction and inference to the best explanation.Ruth Weintraub - 2013 - Philosophical Studies 166 (1):203-216.details
|
|
König's Infinity Lemma and Beth's Tree Theorem.George Weaver - 2017 - History and Philosophy of Logic 38 (1):48-56.details
|
|
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):491-499.details
|
|
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.details
|
|
Supra-logic: using transfinite type theory with type variables for paraconsistency.Jørgen Villadsen - 2005 - Journal of Applied Non-Classical Logics 15 (1):45-58.details
|
|
Reply to Touretzky and Pomerleau: Reconstructing Physical Symbol Systems.Alonso H. Vera & Herbert A. Simon - 1994 - Cognitive Science 18 (2):355-360.details
|
|
On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.details
|
|
Variants of Rescher's semantics for preference logic and some completeness theorems.Dirk van Dalen - 1974 - Studia Logica 33 (2):163-181.details
|
|
The Logic of Necessity in Aristotle--an Outline of Approaches to the Modal Syllogistic, Together with a General Account of de dicto - and de re -Necessity.Ulrich Nortmann - 2002 - History and Philosophy of Logic 23 (4):253-265.details
|
|
Ontologically neutral logic.Theodore Hailperin - 1997 - History and Philosophy of Logic 18 (4):185-200.details
|
|
Herbrand semantics, the potential infinite, and ontology-free logic.Theodore Hailperin - 1992 - History and Philosophy of Logic 13 (1):69-90.details
|
|
The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions.Göran Sundholm - 2019 - Topoi 38 (3):551-559.details
|
|
Domino f‐Sets.David W. Straight - 1979 - Mathematical Logic Quarterly 25 (13‐18):235-249.details
|
|
Dominof-Sets.David W. Straight - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):235-249.details
|
|
On the notion of effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.details
|
|
A bound on synchronically interpretable structure.Jon M. Slack - 2004 - Mind and Language 19 (3):305–333.details
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
Filter Constructions in Boolean Valued Model Theory.Alan M. Shorb - 1972 - Mathematical Logic Quarterly 18 (13-15):193-200.details
|
|
Theological Underpinnings of the Modern Philosophy of Mathematics.Vladislav Shaposhnikov - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):147-168.details
|
|
How do We Know that the Godel Sentence of a Consistent Theory Is True?G. Sereny - 2011 - Philosophia Mathematica 19 (1):47-73.details
|
|
O comprometimento da identidade com a individuação nas teorias formais clássicas.Jaison Schinaider - 2015 - Filosofia Unisinos 16 (1).details
|
|
Some problems concerning language and physics.Adonai Sant’Anna & Gabriel Guerrer - 2007 - Synthese 154 (3):467-484.details
|
|
Sets and Functions in Theoretical Physics.Adonai S. Sant’Anna & Otávio Bueno - 2014 - Erkenntnis 79 (2):257-281.details
|
|
On Berry's paradox and nondiagonal constructions.Dev K. Roy - 1999 - Complexity 4 (3):35-38.details
|
|
Alternative semantics for quantified first degree relevant logic.Richard Routley - 1979 - Studia Logica 38 (2):211 - 231.details
|
|
Program execution in connectionist networks.Martin Roth - 2005 - Mind and Language 20 (4):448-467.details
|
|
The finitary standpoint.Bertil Rolf - 1980 - Erkenntnis 15 (3):287 - 300.details
|
|
Algebraic study of Sette's maximal paraconsistent logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.details
|
|
On Vidal's trivalent explanations for defective conditional in mathematics.Yaroslav Petrukhin & Vasily Shangin - 2019 - Journal of Applied Non-Classical Logics 29 (1):64-77.details
|
|
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.details
|
|