yusuke1997/dblp-id-title huggingface dataset:
Completeness Theorem for Dummett's LC Quantified and Some of Its Extensions
Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison
Rough Sets and 3-Valued Logics
Finite Basis Theorem for Filter-distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes
Inferential Intensionality
Discrete Dualities for Double Stone Algebras
V. A. Smirnov's Results in the Field of Modern Formal Logic
Correction to: Lambek Calculus with Conjugates
A Temporal Semantics for Basic Logic
Quasivarieties with Definable Relative Principal Subcongruences
A Few Notes on Quantum B-algebras
Descriptor Revision
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence
Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric
P1 algebras
The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains
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€
Finite Hilbert Systems for Weak Kleene Logics
A Geometrical Characterization of the Twin Paradox and its Variants
Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity
Conditional theories
Logical-Epistemic Foundations of General Game Descriptions
The Undecidability of Quantified Announcements
On Consistent Subsets of Large Sets of Satisfiable Sentences
Maps and Monads for Modal Frames
Restricted Priestley Dualities and Discriminator Varieties
The completeness of the factor semantics for Lukasiewicz's infinite-valued logics
De Morgan-Płonka Sums
A Computationally Grounded, Weighted Doxastic Logic
Undefinability of propositional quantifiers in the modal system S4
Countably Many Weakenings of Belnap-Dunn Logic
Logical feedback
Interpretations into monadic algebras
Informal Proofs and Mathematical Rigour
Subalgebras and homomorphisms of semi-Post algebras
Equivalence of Consequence Operations
Addenda and corrigenda to "A general possible worlds framework for reasoning about knowledge and belief"
On the Complexity of Nonassociative Lambek Calculus with Unit
A New Proof of the McKinsey-Tarski Theorem
Finitely Generated Free MV-algebras and Their Automorphism Groups
Algebraic study of sette's maximal paraconsistent logic
Bayesian Belief Revision Based on Agent's Criteria
Relating Quine's NF to Feferman's EM
Some unifying fixed point principles
Curry's Paradox and ω -Inconsistency
Internal approach to external sets and universes (Part I)
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant
Monadic Fuzzy Predicate Logics
Finite condensations of recursive linear orders
Truth-Tracking by Belief Revision
Proving theorems of the second order Lambek calculus in polynominal time
Some independence results in interpretability logic
Book Review: Jonathan Ginzburg, The Interactive Stance: Meaning in Conversation
Curry-Howard-Lambek Correspondence for Intuitionistic Belief
Towards a Semantic Characterization of Cut-Elimination
A Modal Logic for Discretely Descending Chains of Sets
General Proof Theory: Introduction
Joins of minimal quasivarieties
The Depth of Resolution Proofs
Revision Algebra Semantics for Conditional Logic
Contracting Intuitionistic Theories
Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics
Propositional Epistemic Logics with Quantification Over Agents of Knowledge
The Suszko Operator - Part I
Selective Revision
A Logical Account of Formal Argumentation
Worlds, Models and Descriptions
Saharon Shelah, Cardinal Arithmetic
Equational Bases for Joins of Residuated-lattice Varieties
Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness
Honesty in partial logic
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic
Subgames within Large Games and the Heuristic of Imitation
Mathematical Structures Within Simple Type Theory
Axiomatizations with Context Rules of Inference in Modal Logic
Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, pp xi + 282, ISBN 0-306-47712-2
First Order Theories for Partial Models
On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras
S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science - Finite-State Systems - Cambridge University Press 2016, pp. 752. ISBN-10: 1107028361 (hardcover) £90.00; ISBN-13: 978-1107028364; online ISBN: 978-1139236119 (kindle) £85.50
Extension Properties and Subdirect Representation in Abstract Algebraic Logic
Strict Identity with No Overlap
Nonstandard analysis and constructivism?
Beyond Three Inferential Values
Basic Conditional Reasoning: How Children Mimic Counterfactual Reasoning
Quasi-varieties: A special access
Schönfinkel-type Operators for Classical Logic
Naïve Comprehension and Contracting Implications
Abstract Valuation Semantics
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony
Where the Truth Lies: A Paraconsistent Approach to Bayesian Epistemology
Prolegomena to Concise Theories of Action
Systems of Quantum Logic
Schrödinger logics
Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks
The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction
Notes on Logics of Metric Spaces
The Lambek Calculus Extended with Intuitionistic Propositional Logic
Aristotelian syllogisms and generalized quantifiers
Sequent Calculi and Decision Procedures for Weak Modal Systems
Combining Possibilities and Negations
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
On Revising Fuzzy Belief Bases
Taking Degrees of Truth Seriously
MV-Algebras and Quantum Computation
A Simple Way to Overcome Hyperconnexivity
Giles's Game and the Proof Theory of Lukasiewicz Logic
Graded modalities. III (the completeness and compactness of S40)
States on Pseudo MV-Algebras
Expanding Quasi-MV Algebras by a Quantum Operator
Second-Order Characterizable Cardinals and Ordinals
Manufacturing a cartesian closed category with exactly two objects out of a C-monoid
Three Complexity Problems in Quantified Fuzzy Logic
The Way of the Agent
Logic of nondeterministic information
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction
Extensionality and Restriction in Naive Set Theory
A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic
Linear axiomatics of commutative product-free Lambek calculus
The adequacy condition as a definition of elementary interpretation
The Consistency of Probabilistic Regresses. A Reply to Jeanne Peijnenburg and David Atkinson
Socratic Trees
Hans Kleine Büning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms
On a Definition of a Variety of Monadic ℓ-Groups
The Logic of Linear Tolerance
Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach)
Axiomatizing the Logic of Imagination
Classifying [aleph]o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories
Fast-Collapsing Theories
Angell and McCall Meet Wansing
Congruence Coherent Symmetric Extended de Morgan Algebras
Freek Wiedijk (Ed.), The Seventeen Provers of the World
Modal Horn Classes
Gentzenization of Trilattice Logics
How to be really contraction free
Gentzen Calculi for the Existence Predicate
Priestley Duality for Paraconsistent Nelson's Logic
Game Logic is Strong Enough for Parity Games
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz's Theory of Grounds
Graded modalities, II (canonical models)
Embedding Modal Nonmonotonic Logics into Default Logic
Notes on the Computational Aspects of Kripke's Theory of Truth
The Consistency Argument for Ranking Functions
On the proof of Solovay's theorem
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
On the Minimal Non-Fregean Grzegorczyk Logic
Dynamic Logics of Evidence-Based Beliefs
A First Order Nonmonotonic Extension of Constructive Logic
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics
Everything That Linguists Have Always Wanted to Know About Logic
Bunched Logics Displayed
Monotone Majorizable Functionals
The Explosion Calculus
Superintuitionistic Companions of Classical Modal Logics
Hintikka's Independence-Friendly Logic Meets Nelson's Realizability
Labelled Resolution for Classical and Non-classical Logics
Modal Incompleteness Revisited
A Conflict Between Some Semantic Conditions of Carmo and Jones for Contrary-to-Duty Obligations
Generalizing Functional Completeness in Belnap-Dunn Logic
Omitting Types in an Intermediate Logic
Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case
A Characterization of a Semimodular Lattice
Conditionals and monotonic belief revisions: the success postulate
Applied Logic without Psychologism