- 19th Brazilian Logic Conference: Book of Abstracts.Cezar A. Mortari & Ricardo Silvestre (eds.) - 2019 - João Pessoa, PB, Brasil: EDUFCG.details
|
|
Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics, and Language. (Synthese Library vol. 373). Springer. pp. 367-387.details
|
|
Popper's Notion of Duality and His Theory of Negations.David Binder & Thomas Piecha - 2017 - History and Philosophy of Logic 38 (2):154-189.details
|
|
Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen.Peter Schroeder-Heister - 2002 - Bulletin of Symbolic Logic 8 (2):246-265.details
|
|
Autoreferential semantics for many-valued modal logics.Zoran Majkic - 2008 - Journal of Applied Non-Classical Logics 18 (1):79-125.details
|
|
Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication.Francine F. Abeles - 2014 - History and Philosophy of Logic 35 (1):1-14.details
|
|
The nature of entailment: an informational approach.Yaroslav Shramko & Heinrich Wansing - 2019 - Synthese 198 (S22):5241-5261.details
|
|
The Logicality of Equality.Andrzej Indrzejczak - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 211-238.details
|
|
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning.Yaroslav Shramko - 2022 - Archive for Mathematical Logic 61 (5):627-651.details
|
|
The Deduction Theorem (Before and After Herbrand).Curtis Franks - 2021 - History and Philosophy of Logic 42 (2):129-159.details
|
|
Cut elimination for entailment relations.Davide Rinaldi & Daniel Wessel - 2019 - Archive for Mathematical Logic 58 (5):605-625.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Where is the Gödel-Point Hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals.Anna Horská - 2013 - Cham, Switzerland: Springer.details
|
|
The Role of Structural Reasoning in the Genesis of Graph Theory.Michael Arndt - 2019 - History and Philosophy of Logic 40 (3):266-297.details
|
|