default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 113
Volume 113, Number 1, February 2025
- Mikhail N. Rybakov
, Dmitry Shkatov:
Variations on the Kripke Trick. 1-48 - Minghui Ma, Juntong Guo:
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic. 49-78 - Amirhossein Akbar Tabatabai:
On Geometric Implications. 79-108 - Vladimir Kanovei, Vassily A. Lyubetsky:
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic. 109-124 - David J. Pym, Eike Ritter, Edmund Robinson:
Categorical Proof-theoretic Semantics. 125-162 - Ivan Chajda, Helmut Länger:
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension. 163-181 - Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo:
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness. 183-224 - Paolo Lipparini:
A Model Theory of Topology. 225-259 - Matteo de Ceglie:
Stefania Centrone, Deborah Kant, Deniz Serikaya, Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts, vol. 407 of Synthese Library, Springer, 2019, pp. 494+xxviii; ISBN: 978-3-030-15654-1 (Hardcover) 149.79€, ISBN: 978-3-030-15655-8 (eBook). 261-267
Volume 113, Number 2, April 2025
- Edward Hermann Haeusler, Ciro Russo, Gisele Dalva Secco:
Contemporary Logic in Brazil - Proceedings of the XX Encontro Brasileiro de Lógica. 269-272 - Marcelo E. Coniglio:
Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on FDE. 273-324 - José G. Alvim, Hugo Luiz Mariano, Caio de Andrade Mendes:
Quantale Valued Sets: Categorical Constructions and Properties. 325-378 - Andréa M. Loparic, Cezar A. Mortari:
Valuation Semantics for S4. 379-396 - Walter Carnielli, Juliana Bueno-Soler:
Where the Truth Lies: A Paraconsistent Approach to Bayesian Epistemology. 397-418 - Victoria Arce Pistone, Martín Figallo:
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator. 419-456 - Henrique Antunes, Abilio Rodrigues:
Variable Domain First-Order First-Degree Entailment and Some of Its Children. 457-487 - Fernanda Birolli Abrahão, Edelcio Gonçalves de Souza:
On a First-Order Bi-Sorted Semantically Closed Language. 489-501 - Evelyn Erickson:
More Limits of Abductivism About Logic. 503-522 - Luiz Carlos Pereira, Elaine Pimentel, Valeria de Paiva:
Translations and Prawitz's Ecumenical System. 523-538 - Renato Leme, Marcelo Esteban Coniglio, Bruno Lopes, Giorgio Venturi:
Ecumenical Propositional Tableau. 539-566 - Wagner Sanz, Petrucio Viana:
Euclid Machines. 567-598
Volume 113, Number 3, June 2025
- Jacek Malinowski:
Obituary. 599-600 - Rafal Gruszczynski, Dazhu Li:
The Sum Relation as a Primitive Concept of Mereology. 601-617 - Shokoofeh Ghorbani:
Very True Operators on Pre-semi-Nelson Algebras. 619-644 - Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh:
On a Generalization of Heyting Algebras I. 645-689 - Rashed Ahmad:
Higher-Level Paradoxes and Substructural Solutions. 691-715 - Mohamed Khaled:
A Version of Predicate Logic with Two Variables That has an Incompleteness Property. 717-739 - Soroush Rafiee Rad, Joshua Sack, Shengyang Zhong:
Enriched Quantales Arising from Complete Orthomodular Lattices. 741-779 - Ismael Calomino, Sergio A. Celani, Hernán Javier San Martín:
On Weak Lewis Distributive Lattices. 781-821 - Bartosz Wieckowski:
Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1. 823-826 - Aleksander Parol:
Correction to: Alessandro Giordani, Jacek Malinowski, Hyperintensionality and Fine-grained Semantics. Logic in High Definition: Trends in Logical Semantics, vol. 56 of Trends in Logic, Springer, 2020, pp. 243+v; ISBN: 978-3-030-53486-8 (Hardcover) 117.69€, ISBN: 978-3-030-53487-5 (eBook) 93.08€. 827-828
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-22 19:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
