| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Davide Fazio, Sergei P. Odintsov |
An Algebraic Investigation of the Connexive Logic sfC.  |
Stud Logica  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Rott |
Difference-Making Conditionals and Connexivity. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateusz Klonowski, Luis Estrada-González |
Boolean Connexive Logic and Content Relationship. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitoshi Omori, Andreas Kapsner |
Angell and McCall Meet Wansing. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Iacona |
Connexivity in the Logic of Reasons. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Belikov 0001 |
A Simple Way to Overcome Hyperconnexivity. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Fazio, Antonio Ledda, Francesco Paoli |
Intuitionistic Logic is a Connexive Logic. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing, Hitoshi Omori |
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Raidl, Andrea Iacona, Vincenzo Crupi 0001 |
An Axiomatic System for Concessive Conditionals. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Niki Pfeifer, Giuseppe Sanfilippo |
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Estrada-González, Ricardo Arturo Nicolás-Francisco |
Connexive Negation. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Gherardi, Eugenio Orlandelli, Eric Raidl |
Proof Systems for Super- Strict Implication. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuefeng Wen |
Stalnakerian Connexive Logics. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Macaulay Ferguson |
Executability and Connexivity in an Interpretation of Griss. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Giordani |
Situation-Based Connexive Logic. |
Stud Logica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luis Castiglioni, Víctor Fernández 0003, Héctor Federico Mallea, Hernán Javier San Martín |
Sub-Hilbert Lattices. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stepan L. Kuznetsov, Stanislav O. Speranski |
Infinitary Action Logic with Multiplexing. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Youan Su, Katsuhiko Sano |
A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafal Gruszczynski, Paula Menchón |
From Contact Relations to Modal Operators, and Back. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio A. Celani, Daniela Montangie |
Hilbert Algebras with Hilbert-Galois Connections. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa-Sikorski Lemma in Arithmetic (II). |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Bezhanishvili, Tommaso Moraschini |
Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongkai Yin, Hanoch Ben-Yami |
The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico G. Almiñana, Gustavo Pelaitay, William Zuluaga |
On Heyting Algebras with Negative Tense Operators. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Tao Wang 0001, Yanhong She, Pengfei He 0001, Na Na Ma |
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Farahmand Parsa, Meghdad Ghari |
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 €. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew P. Szudzik |
Semantics of Computable Physical Models. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghui Ma, Qian Chen |
Finite Model Property in Weakly Transitive Tense Logics. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian |
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Castaldo |
Notes on Models of (Partial) Kripke-Feferman Truth. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Taishi Kurahashi |
Some Observations on the FGH Theorem. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa-Sikorski Lemma in Arithmetic (I). |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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€. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Pelaitay, William Zuluaga |
Tense Operators on Distributive Lattices with Implication. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Grigoriev 0001, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav I. Petrukhin, Vasily Shangin |
Axiomatizing a Minimal Discussive Logic. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Qianli Zeng, Ming Hsiung |
The Elimination of Direct Self-reference. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunsuk Yang |
Birkhoff's and Mal'cev's Theorems for Implicational Tonoid Logics. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksander Parol |
Hyperintensionality and Fine-Grained Semantics. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirjana Borisavljevic |
The Elimination of Maximum Cuts in Linear Logic and BCK Logic. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 €. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghui Ma, Guiying Li |
Intuitionistic Propositional Logic with Galois Negations. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 €. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Nicolai, Lorenzo Rossi 0005 |
Systems for Non-Reflexive Consequence. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Xu 0023 |
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Jenei |
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldo V. Figallo, Gustavo Pelaitay, Jonathan Sarmiento |
Discrete Duality for Nelson Algebras with Tense Operators. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiguang Zhao |
Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert van Rooij, Karolina Krzyzanowska, Igor Douven |
Williamson's Abductive Case for the Material Conditional Account. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Rump |
Linear L-Algebras and Prime Factorization. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander V. Gheorghiu, David J. Pym |
Semantical Analysis of the Logic of Bunched Implications. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu |
A Simple Logic of the Hide and Seek Game. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Tedder |
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Longchun Wang, Qingguo Li |
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosalie Iemhoff |
The G4i Analogue of a G3i Sequent Calculus. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Aglianò |
Splittings in Subreducts of Hoops. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Giordani, Matteo Pascucci |
Generalizing Deontic Action Logic. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo E. Coniglio, Guilherme Vicentin de Toledo |
Two Decision Procedures for da Costa's Cn Logics Based on Restricted Nmatrix Semantics. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Pavlova, Robert Freiman, Timo Lang |
From Semantic Games to Provability: The Case of Gödel Logic. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley Fussner |
Poset Products as Relational Models. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Piccolomini d'Aragona |
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz's Theory of Grounds. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Oscar Rodríguez, Olim Frits Tuyt, Francesc Esteva, Lluís Godo |
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Lin 0002, Minghui Ma |
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sena Bozdag |
A Semantics for Hyperintensional Belief Revision Based on Information Bases. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela Busaniche, Nikolaos Galatos, Miguel Andrés Marcos |
Twist Structures and Nelson Conuclei. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Da Ré, Federico Matias Pailos |
Sequent-Calculi for Metainferential Logics. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Jenei |
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bozena Czernecka-Rej |
Book Reviews. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Estrada-González |
An Analysis of Poly-connexivity. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pere Pardo |
A Modal View on Resource-Bounded Propositional Logics. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Taishi Kurahashi |
On Inclusions Between Quantified Provability Logics. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Jenei |
Group Representation for Even and Odd Involutive Commutative Residuated Chains. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Kulicki |
Book Reviews. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof A. Krawczyk |
Two Maximality Results for the Lattice of Extensions of $\vdash _{\mathbf {RM}}$. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fischer 0009 |
Sequent Calculi for the Propositional Logic of HYPE. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sourav Tarafder, Giorgio Venturi |
$\mathrm {ZF}$ Between Classicality and Non-classicality. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Gallardo, Alicia Ziliani |
A Generalization of Monadic n-Valued Łukasiewicz Algebras. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Gorbunov, Dmitry Shkatov |
On Independent Axiomatizability of Quasi-Normal Modal Logics. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Szymon Chlebowski, Andrzej Gajda, Mariusz Urbanski |
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency mbC. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Takao Inoué |
On Blass Translation for Leśniewski's Propositional Ontology and Modal Logics. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldo Figallo Orellano, Miguel Pérez-Gaspar, Juan Manuel Ramírez-Contreras |
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hernán Javier San Martín |
On Relative Principal Congruences in Term Quasivarieties. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Sipos |
On Extracting Variable Herbrand Disjunctions. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Svyatlovskiy |
Modal Companions of K4+. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra |
Loop-Check Specification for a Sequent Calculus of Temporal Logic. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim de Groot |
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Figallo |
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lloyd Humberstone |
Idempotent Variations on the Theme of Exclusive Disjunction. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldo V. Figallo, Jonathan Sermento, Gustavo Pelaitay |
A Categorical Equivalence for Tense Nelson Algebras. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Ove Hansson |
A Characterization of Probability-based Dichotomous Belief Revision. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail N. Rybakov, Dmitry Shkatov |
Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Rump |
Frobenius Quantales, Serre Quantales and the Riemann-Roch Theorem. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatyana Ivanova |
Contact Join-semilattices. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacek Malinowski |
Obituary. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Szymon Chlebowski, Marta Gawek, Agata Tomczyk |
Natural Deduction Systems for Intuitionistic Logic with Identity. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Fan |
Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pere Pardo |
Correction to: A Modal View on Resource-Bounded Propositional Logics. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Pistone, Luca Tranchini, Mattia Petrolo |
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license