Login / Signup
Stud Logica
1985
1995
2010
2024
1985
2024
Keyphrases
Publications
volume 112, number 1-2, 2024
Heinrich Wansing
,
Hitoshi Omori
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology.
Stud Logica
112 (1-2) (2024)
Thomas Macaulay Ferguson
Executability and Connexivity in an Interpretation of Griss.
Stud Logica
112 (1-2) (2024)
Hans Rott
Difference-Making Conditionals and Connexivity.
Stud Logica
112 (1-2) (2024)
Hitoshi Omori
,
Andreas Kapsner
Angell and McCall Meet Wansing.
Stud Logica
112 (1-2) (2024)
Mateusz Klonowski
,
Luis Estrada-González
Boolean Connexive Logic and Content Relationship.
Stud Logica
112 (1-2) (2024)
Davide Fazio
,
Sergei P. Odintsov
An Algebraic Investigation of the Connexive Logic sfC.
Stud Logica
112 (1-2) (2024)
Luis Estrada-González
,
Ricardo Arturo Nicolás-Francisco
Connexive Negation.
Stud Logica
112 (1-2) (2024)
Guido Gherardi
,
Eugenio Orlandelli
,
Eric Raidl
Proof Systems for Super- Strict Implication.
Stud Logica
112 (1-2) (2024)
Alex Belikov
A Simple Way to Overcome Hyperconnexivity.
Stud Logica
112 (1-2) (2024)
Niki Pfeifer
,
Giuseppe Sanfilippo
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals.
Stud Logica
112 (1-2) (2024)
Andrea Iacona
Connexivity in the Logic of Reasons.
Stud Logica
112 (1-2) (2024)
Alessandro Giordani
Situation-Based Connexive Logic.
Stud Logica
112 (1-2) (2024)
Eric Raidl
,
Andrea Iacona
,
Vincenzo Crupi
An Axiomatic System for Concessive Conditionals.
Stud Logica
112 (1-2) (2024)
Xuefeng Wen
Stalnakerian Connexive Logics.
Stud Logica
112 (1-2) (2024)
Davide Fazio
,
Antonio Ledda
,
Francesco Paoli
Intuitionistic Logic is a Connexive Logic.
Stud Logica
112 (1-2) (2024)
volume 112, number 3, 2024
Miguel Campercholi
,
Diego Vaggione
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences.
Stud Logica
112 (3) (2024)
Ryo Murai
,
Katsuhiko Sano
Intuitionistic Public Announcement Logic with Distributed Knowledge.
Stud Logica
112 (3) (2024)
Nikolaos Galatos
Decidability of Lattice Equations.
Stud Logica
112 (3) (2024)
Yuya Okawa
Unary Interpretability Logics for Sublogics of the Interpretability Logic bfIL.
Stud Logica
112 (3) (2024)
Sergio A. Celani
,
Umberto Rivieccio
Intuitionistic Modal Algebras.
Stud Logica
112 (3) (2024)
Tomasz Jarmuzek
,
Mateusz Klonowski
,
Piotr Kulicki
$\varvec{Brings~It~About~That}$ Operators Decomposed with Relating Semantics.
Stud Logica
112 (3) (2024)
Marcelo E. Coniglio
,
Abilio Rodrigues
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth.
Stud Logica
112 (3) (2024)
volume 112, number 4, 2024
Hector Freytes
,
Giuseppe Sergioli
Heyting κ-Frames.
Stud Logica
112 (4) (2024)
Athanassios Tzouvaras
Sets with Dependent Elements: A Formalization of Castoriadis' Notion of Magma.
Stud Logica
112 (4) (2024)
Juan Manuel Cornejo
,
Hernán Javier San Martín
,
Valeria A. Sígal
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics.
Stud Logica
112 (4) (2024)
Eunsuk Yang
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.
Stud Logica
112 (4) (2024)
Yang Song
,
Hitoshi Omori
,
Jonas R. Becker Arenhart
,
Satoshi Tojo
A Generalization of Beall's Off-Topic Interpretation.
Stud Logica
112 (4) (2024)
Fengkui Ju
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time.
Stud Logica
112 (4) (2024)
Anvar M. Nurakunov
,
Marina Schwidefsky
Profinite Locally Finite Quasivarieties.
Stud Logica
112 (4) (2024)
volume 111, number 3, 2023
Eunsuk Yang
Birkhoff's and Mal'cev's Theorems for Implicational Tonoid Logics.
Stud Logica
111 (3) (2023)
Mirjana Borisavljevic
The Elimination of Maximum Cuts in Linear Logic and BCK Logic.
Stud Logica
111 (3) (2023)
volume 111, number 4, 2023
Youan Su
,
Katsuhiko Sano
A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic.
Stud Logica
111 (4) (2023)
Amir Farahmand Parsa
,
Meghdad Ghari
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs.
Stud Logica
111 (4) (2023)
Alexander V. Gheorghiu
,
David J. Pym
Semantical Analysis of the Logic of Bunched Implications.
Stud Logica
111 (4) (2023)
Gustavo Pelaitay
,
William Zuluaga
Tense Operators on Distributive Lattices with Implication.
Stud Logica
111 (4) (2023)
Robert van Rooij
,
Karolina Krzyzanowska
,
Igor Douven
Williamson's Abductive Case for the Material Conditional Account.
Stud Logica
111 (4) (2023)
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
111 (4) (2023)
volume 111, number 5, 2023
Matthew P. Szudzik
Semantics of Computable Physical Models.
Stud Logica
111 (5) (2023)
Dazhu Li
,
Sujata Ghosh
,
Fenrong Liu
,
Yaxin Tu
A Simple Logic of the Hide and Seek Game.
Stud Logica
111 (5) (2023)
Sándor Jenei
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains.
Stud Logica
111 (5) (2023)
Rafal Gruszczynski
,
Paula Menchón
From Contact Relations to Modal Operators, and Back.
Stud Logica
111 (5) (2023)
Taishi Kurahashi
Some Observations on the FGH Theorem.
Stud Logica
111 (5) (2023)
Oleg Grigoriev
,
Marek Nasieniewski
,
Krystyna Mruczek-Nasieniewska
,
Yaroslav I. Petrukhin
,
Vasily Shangin
Axiomatizing a Minimal Discussive Logic.
Stud Logica
111 (5) (2023)
volume 111, number 6, 2023
Norihiro Kamide
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.
Stud Logica
111 (6) (2023)
Carlo Nicolai
,
Lorenzo Rossi
Systems for Non-Reflexive Consequence.
Stud Logica
111 (6) (2023)
Ming Xu
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3.
Stud Logica
111 (6) (2023)
Zhiguang Zhao
Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic.
Stud Logica
111 (6) (2023)
Aleksander Parol
Hyperintensionality and Fine-Grained Semantics.
Stud Logica
111 (6) (2023)
Federico G. Almiñana
,
Gustavo Pelaitay
,
William Zuluaga
On Heyting Algebras with Negative Tense Operators.
Stud Logica
111 (6) (2023)
Qianli Zeng
,
Ming Hsiung
The Elimination of Direct Self-reference.
Stud Logica
111 (6) (2023)