default search action
Studia Logica, Volume 111
Volume 111, Number 1, February 2023
- Aldo V. Figallo, Gustavo Pelaitay, Jonathan Sarmiento
:
Discrete Duality for Nelson Algebras with Tense Operators. 1-19 - Minghui Ma, Guiying Li:
Intuitionistic Propositional Logic with Galois Negations. 21-56 - Wolfgang Rump:
Linear L-Algebras and Prime Factorization. 57-82 - Luca Castaldo
Notes on Models of (Partial) Kripke-Feferman Truth. 83-111 - Sergio A. Celani, Daniela Montangie
Hilbert Algebras with Hilbert-Galois Connections. 113-138 - Zhe Yu
Beishui Liao, Thomas Ågotnes, Yi N. Wang, (eds.), Dynamics, Uncertainty and Reasoning, vol. 4 of Logic in Asia: Studia Logica Library, Springer, Singapore, 2019, pp. 207+xii; ISBN: 978-981-13-7793-8 (Softcover) 117,69 €, ISBN: 978-981-13-7790-7 (Hardcover) 160,49 €, ISBN: 978-981-13-7791-4 (eBook) 93,08 €. 139-143 - Bozena Czernecka-Rej
Correction to: Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6 (Hardcover) 149.79 €. 145-146
Volume 111, Number 2, April 2023
- Nick Bezhanishvili
Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality. 147-186 - Longchun Wang
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces. 187-215 - Minghui Ma, Qian Chen
Finite Model Property in Weakly Transitive Tense Logics. 217-250 - Stepan L. Kuznetsov
Infinitary Action Logic with Multiplexing. 251-280 - Hongkai Yin
The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics. 281-320 - Andrew Tedder
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics. 321-352 - Ivo Pezlar
Nils Kürbis, Proof and Falsity: A Logical Investigation, Cambridge University Press, 2019, pp. 316; ISBN: 978-110-87-1672-7 (Softcover)£24.99, ISBN: 978-110-84-8130-4 (Hardcover)£78.99, ISBN: 978-110-86-2517-3 (eBook) $26.00. 353-356 - (Withdrawn) RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa-Sikorski Lemma in Arithmetic (I). 357-358
- (Withdrawn) RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa-Sikorski Lemma in Arithmetic (II). 359
Volume 111, Number 3, June 2023
- Jun Tao Wang, Yanhong She, Pengfei He, Na Na Ma:
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices. 361-390 - Mirjana Borisavljevic:
The Elimination of Maximum Cuts in Linear Logic and BCK Logic. 391-429 - José Luis Castiglioni
Sub-Hilbert Lattices. 431-452 - Hans van Ditmarsch
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts. 453-499 - Eunsuk Yang:
Birkhoff's and Mal'cev's Theorems for Implicational Tonoid Logics. 501-519 - Nicolò Zamperlin
Stefano Bonzio, Francesco Paoli, Michele Pra Baldi, Logics of Variable Inclusion, vol. 59 of Trends in Logic, Springer, 2022, pp. 221+x; ISBN: 978-3-031-04296-6 (Hardcover) 106.99€, ISBN: 978-3-031-04299-7 (eBook) 85.59€. 521-524
Volume 111, Number 4, August 2023
- Alexander V. Gheorghiu
Semantical Analysis of the Logic of Bunched Implications. 525-571 - Amir Farahmand Parsa, Meghdad Ghari
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs. 573-613 - Youan Su
A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic. 615-652 - Robert van Rooij
Williamson's Abductive Case for the Material Conditional Account. 653-685 - Gustavo Pelaitay
Tense Operators on Distributive Lattices with Implication. 687-708 - Ramon Jansana
Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €. 709-715
Volume 111, Number 5, October 2023
- Rafal Gruszczynski
From Contact Relations to Modal Operators, and Back. 717-748 - Taishi Kurahashi
Some Observations on the FGH Theorem. 749-778 - Matthew P. Szudzik
Semantics of Computable Physical Models. 779-819 - Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu:
A Simple Logic of the Hide and Seek Game. 821-853 - Oleg Grigoriev
Axiomatizing a Minimal Discussive Logic. 855-895 - Sándor Jenei
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains. 897-898
Volume 111, Number 6, December 2023
- Ming Xu
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3. 899-946 - Carlo Nicolai
Systems for Non-Reflexive Consequence. 947-977 - Norihiro Kamide
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic. 979-1014 - Federico G. Almiñana, Gustavo Pelaitay, William Zuluaga
On Heyting Algebras with Negative Tense Operators. 1015-1036 - Qianli Zeng
The Elimination of Direct Self-reference. 1037-1055 - Zhiguang Zhao
Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic. 1057-1082 - Aleksander Parol
Hyperintensionality and Fine-Grained Semantics. 1083-1087
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-01-10 18:22 CET 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: