- Co-constructive logic for proofs and refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.details
|
|
Expanding the universe of universal logic.James Trafford - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):325-343.details
|
|
Deontic logic as a study of conditions of rationality in norm-related activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. London, UK: College Publications. pp. 272-287.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Inferentialism: Why Rules Matter.Jaroslav Peregrin - 2014 - London and New York: Palgrave-Macmillan.details
|
|
Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Implicational Tonoid Logics: Algebraic and Relational Semantics.Eunsuk Yang & J. Michael Dunn - 2021 - Logica Universalis 15 (4):435-456.details
|
|
Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics.Eunsuk Yang - 2023 - Studia Logica 111 (3):501-519.details
|
|
Logical Geometries and Information in the Square of Oppositions.Hans5 Smessaert & Lorenz6 Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.details
|
|
The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2019 - Journal of Philosophical Logic 48 (5):787-808.details
|
|
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.details
|
|
Hyper-contradictions, generalized truth values and logics of truth and falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.details
|
|
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning.Yaroslav Shramko - 2022 - Archive for Mathematical Logic 61 (5):627-651.details
|
|
Computational complexity for bounded distributive lattices with negation.Dmitry Shkatov & C. J. Van Alten - 2021 - Annals of Pure and Applied Logic 172 (7):102962.details
|
|
A positive information logic for inferential information.Sebastian Sequoiah-Grayson - 2009 - Synthese 167 (2):409 - 431.details
|
|
From positive PDL to its non-classical extensions.Igor Sedlár & Vít Punčochář - 2019 - Logic Journal of the IGPL 27 (4):522-542.details
|
|
Basic Quasi-Boolean Expansions of Relevance Logics.Gemma Robles & José M. Méndez - 2021 - Journal of Philosophical Logic 50 (4):727-754.details
|
|
Paraconsistent Logic.David Ripley - 2015 - Journal of Philosophical Logic 44 (6):771-780.details
|
|
Collection Frames for Distributive Substructural Logics.Greg Restall & Shawn Standefer - 2023 - Review of Symbolic Logic 16 (4):1120-1157.details
|
|
How to Know: A Practicalist Conception of Knowledge, by Stephen Hetherington: Malden, MA: Routledge, 2011, pp. xii + 260, $51.95. [REVIEW]Baron Reed - 2015 - Australasian Journal of Philosophy 93 (3):616-619.details
|
|
Knot is not that nasty.Elisángela Ramírez-Cámara & Luis Estrada-González - 2019 - Synthese 198 (S22):5533-5554.details
|
|
What Logics Mean: From Proof Theory to Model-Theoretic Semantics, by James W. Garson: Cambridge: Cambridge University Press, 2013, pp. xv + 285, £10.99. [REVIEW]Jaroslav Peregrin - 2015 - Australasian Journal of Philosophy 93 (3):613-616.details
|
|
Varieties of misrepresentation and homomorphism.Francesca Pero & Mauricio Suárez - 2016 - European Journal for Philosophy of Science 6 (1):71-90.details
|
|
Meaning as an inferential role.Jaroslav Peregrin - 2006 - Erkenntnis 64 (1):1-35.details
|
|
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.details
|
|
Topological Models of Columnar Vagueness.Thomas Mormann - 2022 - Erkenntnis 87 (2):693 - 716.details
|
|
Symmetric Categorial Grammar.Michael Moortgat - 2009 - Journal of Philosophical Logic 38 (6):681-710.details
|
|
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.details
|
|
The Birth of quantum logic.Miklós Rédei - 2007 - History and Philosophy of Logic 28 (2):107-122.details
|
|
Minimally generated abstract logics.Steffen Lewitzka & Andreas B. M. Brunner - 2009 - Logica Universalis 3 (2):219-241.details
|
|
Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.Norihiro Kamide - 2021 - Journal of Philosophical Logic 50 (4):781-811.details
|
|
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.Norihiro Kamide - 2021 - Studia Logica 109 (6):1241-1271.details
|
|
Possible Worlds in Use.Andrzej Indrzejczak - 2011 - Studia Logica 99 (1-3):229-248.details
|
|
Aggregation and idempotence.Lloyd Humberstone - 2013 - Review of Symbolic Logic 6 (4):680-708.details
|
|
Order- dual realational semantics for non-distributive propositional logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 25 (2):145-182.details
|
|
Probability and Symmetric Logic.Michał Gil Sanchez, Zalán Gyenis & Leszek Wroński - 2022 - Journal of Philosophical Logic 52 (1):183-198.details
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
Two traditions in abstract valuational model theory.Rohan French & David Ripley - 2019 - Synthese 198 (S22):5291-5313.details
|
|
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.details
|
|
Canonical extensions and relational completeness of some substructural logics.J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano - 2005 - Journal of Symbolic Logic 70 (3):713-740.details
|
|
Contradictory Information: Too Much of a Good Thing. [REVIEW]J. Michael Dunn - 2010 - Journal of Philosophical Logic 39 (4):425 - 452.details
|
|
From Modal Discourse to Possible Worlds.Maxwell J. Cresswell - 2006 - Studia Logica 82 (3):307-327.details
|
|
Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.details
|
|
Nonclassical Probability and Convex Hulls.Seamus Bradley - 2017 - Erkenntnis 82 (1):87-101.details
|
|
Questions and Answers in an Orthoalgebraic Approach.Reinhard Blutner - 2012 - Journal of Logic, Language and Information 21 (3):237-277.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
|
|
Semantics for dual and symmetric combinatory calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.details
|
|
Defending the structural concept of representation.Andreas Bartels - 2006 - Theoria 21 (1):7-19.details
|
|
Unification with parameters in the implication fragment of classical propositional logic.Philippe Balbiani & Mojtaba Mojtahedi - 2022 - Logic Journal of the IGPL 30 (3):454-464.details
|
|