yusuke1997/dblp-id-title huggingface dataset:
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I
Free and Projective Bimodal Symmetric Gödel Algebras
Interpolation and Amalgamation; Pushing the Limits. Part II
Generalized Change and the Meaning of Rationality Postulates
An Institution-Independent Proof of the Robinson Consistency Theorem
The omega -rule
A Dynamic-Logical Perspective on Quantum Behavior
Intermediate Logics Admitting a Structural Hypersequent Calculus
Counterexamples to Recovery and the Filtering Condition
Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System
Formal systems for modal operators on locales
Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity
Double-Negation Elimination in Some Propositional Logics
Completeness Theorems via the Double Dual Functor
A Logic for Reasoning about Relative Similarity
The Incompleteness of RGL
Explicit Fixed Points in Interpretability Logic
Lambda Calculus and Intuitionistic Linear Logic
Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours
Joanna Golińska-Pilarek and Michał Zawidzki, (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, Series: Outstanding Contributions to Logic, Vol. 17 2018, pp. 502
Inductive inference in the limit for first-order sentences
First-Order Modal Logic: Frame Definability and a Lindström Theorem
Knowing and Supposing in Games of Perfect Information
The d-Logic of the Rational Numbers: A Fruitful Construction
Books Received: Jürgen Mittelstrass, Enzyklopädie Philosophie und Wissenschaftstheorie
Semi-intuitionistic Logic
A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences
Prima Facie Obligation
Conditioning and Interpretation Shifts
On Extracting Variable Herbrand Disjunctions
Representation of Game Algebras
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
Semantics for Analytic Containment
A New Representation Theorem for Contranegative Deontic Logic
Quantum MV algebras
An application of Rieger-Nishimura formulas to the intuitionistic modal logics
Categorical and algebraic aspects of Martin-Löf Type Theory
Proof Systems for Super- Strict Implication
Arithmetical completeness versus relative completeness
Understanding Negation Implicationally in the Relevant Logic R
Discursive logic. Towards a logic of rational discourse
Distributivity for Upper Continuous and Strongly Atomic Lattices
Neighbourhood Semantics for FDE-Based Modal Logics
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth
Connection Tableau Calculi with Disjunctive Constraints
Normality, Non-contamination and Logical Depth in Classical Natural Deduction
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic
The Slingshot Argument and Sentential Identity
Interrogative Belief Revision Based on Epistemic Strategies
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules
Tense Operators on Distributive Lattices with Implication
Monodic Packed Fragment with Equality is Decidable
The Dual Adjunction between MV-algebras and Tychonoff Spaces
A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics
Relativised Homomorphism Preservation at the Finite Level
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs
An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics
Protoalgebraic logics
Studies on Brutal Contraction and Severe Withdrawal
What is the upper part of the lattice of bimodal logics?
Coherence in Substructural Categories
Bulletin IUHPS/DLMPS
When is a Schema Not a Schema? On a Remark by Suszko
Axiomatization and completeness of uncountably valued approximation logic
Expansion and Contraction of Finite States
Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic
Linearization of the BCK-logic
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics
Nice Embedding in Classical Logic
Labelled Sequent Calculi for Lewis' Non-normal Propositional Modal Logics
Programs and logics
A simplified duality for implicative lattices and l -groups
A Non-deterministic View on Non-classical Negations
On Finitely-Valued Inference Systems
Parallel Action: Concurrent Dynamic Logic with Independent Modalities
Structural Inference from Conditional Knowledge Bases
Indiscernibility of identicals
Interpolation in Extensions of First-Order Logic
Conservative Theories of Classical Truth
Automated Natural Deduction in Thinker
Categorical Abstract Algebraic Logic: Behavioral π-Institutions
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
Identity in modal logic theorem proving
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives
Predicate Logical Extensions of some Subintuitionistic Logics
Monadic Bounded Algebras
Multi-Modal CTL: Completeness, Complexity, and an Application
Tableaux for Lukasiewicz Infinite-valued Logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
S. Barry Cooper, Computability Theory
Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
Axiomatizing a Minimal Discussive Logic
Three Ways of Being Non-Material
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time
Arrovian Aggregation of Generalised Expected-Utility Preferences: (Im)possibility Results by Means of Model Theory
Isomorphism and Equational Equivalence of Continuous [lambda]-Models
Truth Values and Proof Theory
Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel
On Pretabular Logics in NExtK4 (Part I)
Semantic Analysis of some Variants of Anderson-like Ontological Proofs
A Generalization of Beall's Off-Topic Interpretation
First-Order Classical Modal Logic
Klemens Szaniawski (1925-1990)
Categoricity Spectra for Polymodal Algebras
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere
A deduction theorem schema for deductive systems of propositional logics
Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on FDE
Compositional Z: Confluence Proofs for Permutative Conversion
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
Conditional Reasoning and Emotional Experience: A Review of the Development of Counterfactual Thinking
Vito F. Sinisi, Applied Logic
Classical Non-Associative Lambek Calculus
Applications of Priestley duality in transferring optimal dualities
Răzvan Diaconescu, Institution-independent Model Theory
Finitistic and Frequentistic Approximation of Probability Measures with or without sigma -Additivity
A linear conservative extension of Zermelo-Fraenkel set theory
Handling Locally Stratified Inconsistent Knowledge Bases
Canonical Extensions and Relational Representations of Lattices with Negation
An Alternative Propositional Calculus for Application to Empirical Sciences
Epistemic Logic, Monotonicity, and the Halbach-Welch Rapprochement Strategy
Expansions of Dually Pseudocomplemented Heyting Algebras
A Method of Generating Modal Logics Defining Jaśkowski's Discussive Logic D 2
A Simple Sequent Calculus for Angell's Logic of Analytic Containment
On regular modal logics with axiom □ ⊤ → □□ ⊤
On P-compatible hybrid identities and hyperidentities
On Axiomatizing Shramko-Wansing's Logic
Finding Missing Proofs with Automated Reasoning
Non-Commutative Topology and Quantales
On the Logic of beta -pregroups
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts
Relational Hidden Variables and Non-Locality
Symmetrical Heyting algebras with a finite order type of operators
Partiality and Its Dual
Expansions of Semi-Heyting Algebras I: Discriminator Varieties
On finite linear intermediate predicate logics
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Σ 2 Numerations
The Smith-Walley Interpretation of Subjective Probability: An Appreciation
On Varieties of Biresiduation Algebras
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics
Free Choice and Contextually Permitted Actions
On Groupoids of Relations with One Conjunctive Operation of Rank 2
Editorial Introduction. Truth Values: Part I
Amalgamation in Varieties of Pseudo-interior Algebras
Free Q-distributive lattices
Reasoning About Games
An Algebraic Study of Tense Operators on Nelson Algebras
Definability of Leibniz Equality
On Relative Principal Congruences in Term Quasivarieties
Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain
Norihiro Kamide and Heinrich Wansing, Proof Theory of N4-related Paraconsistent Logics. Studies in Logic vol. 54. College Publications, 2015, pp. 414. ISBN-13: 978-1848901674 (paperback) $20.50
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication
Protoalgebraic Gentzen Systems and the Cut Rule
Directions in generalized quantifier theory
The Distance Function in Commutative l-semigroups and the Equivalence in Lukasiewicz Logic
Models for relevant modal logics
On Modal Logics of Model-Theoretic Relations
A cut-free gentzen-type system for the logic of the weak law of excluded middle
Herzberger's Limit Rule with Labelled Sequent Calculus
Book Review: R. J. G. B. de Queiroz, A. G. de Oliveira, D. M. Gabbay, The Functional Interpretation of Logical Deduction
Metamathematical Properties of a Constructive Multi-typed Theory
On Argumentation Logic and Propositional Logic
Emergence of Information Transfer by Inductive Learning
Towards a "Sophisticated" Model of Belief Dynamics. Part I: The General Framework
The Birth of Social Choice Theory from the Spirit of Mathematical Logic: Arrow's Theorem in the Framework of Model Theory
Sheaves over Heyting lattices
On Conservative Extensions in Logics with Infinitary Predicates
Semilattice-based dualities
Subdirectly Irreducible Modal Algebras and Initial Frames
Comparative Expectations
Revising Carnap's Semantic Conception of Modality
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology
Inclusion and Exclusion in Natural Language
Semantical Analysis of the Logic of Bunched Implications
General-Elimination Stability
A Canonical Model for Constant Domain Basic First-Order Logic
Indiscriminability as Indiscernibility by Default
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi
Subdirectly Irreducible IKt-Algebras
Remarks on the Scott-Lindenbaum Theorem
Intermediate logics with the same disjunctionless fragment as intuitionistic logic
Complete Infinitary Type Logics
A finite model theorem for the propositional μ-calculus
Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices
Heyting κ-Frames
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL
On Proof Terms and Embeddings of Classical Substructural Logics
Light Affine Set Theory: A Naive Set Theory of Polynomial Time
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras
An Overview of Tableau Algorithms for Description Logics
Residuated Structures and Orthomodular Lattices
Finite Model Property in Weakly Transitive Tense Logics
Review of Bostock's Russell's Logical Atomism
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x 2 ) = (2x) 2
V. A. Smirnov (1931-1996): Work and Life
Statistics of Intuitionistic versus Classical Logics
Equality Algebras
A Kripke Semantics for the Logic of Gelfand Quantales
Generalized equivalence: A pattern of mathematical expression
Classical Conservative Extensions of Lambek Calculus
Roman Murawski, Recursive Functions and Metamathematics
Frontal Operators in Weak Heyting Algebras
Ability and Knowing How in the Situation Calculus
A Hierarchy of Weak Double Negations
On Different Proof-Search Strategies for Orthologic
The Ontology of Justifications in the Logical Setting
The Finite Model Property for Logics with the Tangle Modality
Quasivarieties of Modules Over Path Algebras of Quivers
The method of axiomatic rejection for the intuitionistic propositional logic
Topological Aspects of Branching-Time Semantics
Notes on conditional logic
A logic characterized by the class of connected models with nested domains
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics
Finitary Polyadic Algebras from Cylindric Algebras
Book Review: Matthias Baaz and Alexander Leitsch, Methods of Cut-Elimination
Priestley Duality for Bilattices
Automorphisms of the Lattice of Classical Modal Logics
An Axiomatization of 'Very' within systiems of Set Theory
Reduction Rules for Intuitionistic λρ-calculus
Temporalising Tableaux
Rules in relevant logic-II: formula representation
Calculi of Epistemic Grounding Based on Prawitz's Theory of Grounds
Representing Meta-Knowledge in Poole-Systems
Pseudo-Boolean valued prolog
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic
On Independent Axiomatizability of Quasi-Normal Modal Logics
Some Properties of Orthologics
Four-Valued Paradefinite Logics
Embedding Logics into Product Logic
Double Negation Semantics for Generalisations of Heyting Algebras
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines
Progression and Verification of Situation Calculus Agents with Bounded Beliefs
Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions
Reasoning About Uncertain Conditionals
On Reduction Systems Equivalent to The Lambek Calculus with the Empty String
On Compactness of Logics That Can Express Properties of Symmetry or Connectivity
Understanding Hohfeld and Formalizing Legal Rights: The Hohfeldian Conceptions and Their Conditional Consequences
Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
On Provability Logics with Linearly Ordered Modalities
Is Logic all in our Heads? From Naturalism to Psychologism
A Duality for the Algebras of a Lukasiewicz n + 1-valued Modal System
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication
Provability: the emergence of a mathematical modality
A calculus for the common rules of ∧ and ∨
Adding Involution to Residuated Structures
A note on the decidability of a strong relevant logic
An algebraic study of well-foundedness
The Incompleteness of S4 ⨁ S4 for the Product Space
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic
Boolean Connexive Logic and Content Relationship
Duality for Double Quasioperator Algebras via their Canonical Extensions
Special Issue on Vagueness
A note on russell's paradox in locally cartesian closed categories
P-Compatible Hypersubstitution and MP-Solid Varieties
Characterizing equivalential and algebraizable logics by the Leibniz operator
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors
Containment Logics: Algebraic Completeness and Axiomatization
A Logic for Information Systems
Quantum Logic in Intuitionistic Perspective
A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property
An Infinitary Extension of Jankov's Theorem
Relational Representation Theorems for Extended Contact Algebras
Discernibility by Symmetries
Rule Separation and Embedding Theorems for Logics Without Weakening
Sequent-Calculi for Metainferential Logics
The Varieties Defined by P-compatible Identities of Modular Ortholattices
The Strong Endomorphism Kernel Property in Double MS-Algebras
Leibniz-linked Pairs of Deductive Systems
Boolean Paradoxes and Revision Periods
A reasoning method for a paraconsistent logic
A Characterization of Probability-based Dichotomous Belief Revision
About finite predicate logic
On Dynamic Topological and Metric Logics
Problems of Equivalence, Categoricity of Axioms and States Description in Databases
Deduction and Reduction Theorems for Inferential Erotetic Logic
Quantifiers and Congruence Closure
The G4i Analogue of a G3i Sequent Calculus
The Strong Version of a Sentential Logic
Voting by Eliminating Quantifiers
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras
Ways of Worlds I-II
An Impossibility Theorem on Beliefs in Games
On an Intuitionistic Modal Logic
Natural Deduction for Non-Classical Logics
Imperatives: a Judgemental Analysis
Proof Systems for Reasoning about Computation Errors
Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals
A intensional epistemic logic
Logic of Convex Order
John Woods, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences
A Model for Structural Changes of Belief
Ideal Paraconsistent Logics
Some Modifications of Carnap's Modal Logic
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
The Beth Property in Algebraic Logic
The Classification of Propositional Calculi
Busy choice sequences, refraining formulas and modalities
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
Quasivarieties Generated by Simple MV-algebras
Decidability by Filtrations for graded normal logics (graded modalities V)
Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician
On Some Generalizations of the Concept of Partition
Indefinite Extensibility - Dialetheic Style
Ockham Algebras with Balanced Double Pseudocomplementation
A weak intuitionistic propositional logic with purely constructive implication
Finite Cardinals in Quasi-set Theory
A Propositional Dynamic Logic for Instantial Neighborhood Semantics
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals
Paradigms in Measure Theoretic Learning and in Informant Learning
Priestley Duality for Quasi-Stone Algebras
Infinitary Action Logic: Complexity, Models and Grammars
Events in Branching Time
Leo Esakia, Heyting Algebras: Duality Theory, Guram Bezhanishvili and Wesley A. Holliday, (eds.), Springer International Publishing, Series: Trends in Logic, Vol. 50, 2019, pp. 95+xv
Latarres, Lattices with an Arrow
On Different Intuitionistic Calculi and Embeddings from Int to S4
Jan Dejnožka, The Concept of Relevance and the Logic Diagram Tradition - Ann Arbor, Michigan: CreateSpace, 2012, pp. 154; reprinted in 2015 with minor corrections. ISBN 9781475071092. $13.99 (paperback)
Perfect MV-algebras are categorically equivalent to Abelian l -grups
Negation in the Context of Gaggle Theory
Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term
Hilbert Algebras with Hilbert-Galois Connections
On Inclusions Between Quantified Provability Logics
Basic Logic, K4, and Persistence
Quantification over Sets of Possible Worlds in Branching-Time Semantics
Classical Negation and Expansions of Belnap-Dunn Logic
More Limits of Abductivism About Logic
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains
Hereditarily Structurally Complete Superintuitionistic Deductive Systems
A Categorical Equivalence for Stonean Residuated Lattices
Jaśkowski and the Jains
Review of Protoalgebraic Logics by J. Czelakowski
Free Modal Lattices via Priestley Duality
Bounded contraction and Gentzen-style formulation of Lukasiewicz logics
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic
The Epsilon Calculus and Herbrand Complexity
On the canonicity of Sahlqvist identities
Dirk Van Dalen, Mystic, Geometer, and Intuitionist. The life of L. E. J. Brouwer, Volume 1: The Dawning Revolution
A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems
Maps between some different kinds of contraction function: The finite case
The abstract variable-binding calculus
Proof Analysis of Peirce's Alpha System of Graphs
Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4
The Poset of All Logics III: Finitely Presentable Logics
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency mbC
A Proof System for Classical Logic
Unary Interpretability Logics for Sublogics of the Interpretability Logic bfIL
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations
Negative Equivalence of Extensions of Minimal Logic
A note on the interpretability logic of finitely axiomatized theories
Expressivity of Imperfect Information Logics without Identity
Many-Valued Logic and Cognition: Foreword
Analytic Calculi for Circular Concepts by Finite Revision
Keith Stenning and Michiel van Lambalgen, Human reasoning and cognitive science
On Some Categories of Involutive Centered Residuated Lattices
Grafting Modalities onto Substructural Implication Systems
Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x 2 ) = (2x) 2 2
Amalgamation and interpolation in normal modal logics
Abstract modal logics
On Ockham algebras: congruence lattices and subdirectly irreducible algebras
Closure Operators and Complete Embeddings of Residuated Lattices
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames
Tracks of Relations and Equivalences-based Reasoning
Hilbert Algebras with a Modal Operator ◊
On the Disjunctive Markov Principle
Type Logics and Pregroups
Group Cancellation and Resolution
Free-Variable Tableaux for Propositional Modal Logics
The Concurrent, Continuous Fluent Calculus
Strong Versus Weak Quantum Consequence Operations
From Modal Discourse to Possible Worlds
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics
A Higher-Order Theory of Presupposition
Cut-Free Tableau Calculi for some Intuitionistic Modal Logics
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator
Computable Isomorphisms of Boolean Algebras with Operators
Five faces of minimality
Reusing Topological Nexttime Logic
Asymptotic Densities in Logic and Type Theory
On Amalgamation in Algebras of Logic
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics
The γ -admissibility of Relevant Modal Logics II - The Method using Metavaluations
A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited
Fitch's Paradox and Probabilistic Antirealism
An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions
Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming
Categorical Proof-theoretic Semantics
Functional Dependencies between Variables
Independence - Revision and Defaults
Fuzzy Logic and Arithmetical Hierarchy III
Translations Between Gentzen-Prawitz and Jaśkowski-Fitch Natural Deduction Proofs
Involutions defined by monadic terms
Distributed Knowability and Fitch's Paradox
Alpha-Structures and Ladders in Logical Geometry
On Alternative Geometries, Arithmetics, and Logics; a Tribute to [Lstrok]ukasiewicz
Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility
Uniform Interpolation and Propositional Quantifiers in Modal Logics
Admissible Bases Via Stable Canonical Rules
Sequent Calculi for SCI
Choice-Free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
Nonmonotonicity in the Framework of Parametric Logic