yusuke1997/dblp-id-title huggingface dataset:
Provability logics for natural turing progressions of arithmetical theories
Optimal natural dualities for varieties of Heyting algebras
Back to Basics: Belief Revision Through Direct Selection
Dynamic Deontic Logic and its Paradoxes
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents
Correia Semantics Revisited
Provably True Sentences Across Axiomatizations of Kripke's Theory of Truth
Syntactical investigations into BI logic and BB'I logic
A partially ordered extention of the integers
Lambek Calculus with Conjugates
On the Closure Properties of the Class of Full G-models of a Deductive System
A Logical Analysis of Monty Hall and Sleeping Beauty
Expressing Second-order Sentences in Intuitionistic Dependence Logic
Variations on da Costa C Systems and dual-intuitionistic logics I. Analyses of C ω and CC ω
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics
Gödel's Natural Deduction
Causation in a New Old Key
A bibliography of the published work of Jerzy Słupecki
The Simplest Axiom System for Plane Hyperbolic Geometry
Jan von Plato, Saved from the Cellar. Gerhard Gentzen's Shorthand Notes on Logic and the Foundations of Mathematics - Springer International Publishing, 2017. Sources and Studies in the History of Mathematics and Physical Sciences, x + 315 pp., ISBN 978-3-319-42119-3 (hardback), EUR 109.99, GBP 82.00, ISBN 978-3-319-42120-9 (eBook), EUR 91, 62
Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, 2002, pp 480, ISBN 0-8176-4249-8
Algebraic aspects of deduction theorems
First-Order Logic in the Medvedev Lattice
Groups and Plane Geometry
Equality and Monodic First-Order Temporal Logic
Truth in Applicative Theories
An Intuitionistic Model of Single Electron Interference
A Characteristic Frame for Positive Intuitionistic and Relevance Logic
On variable separation in modal and superintuitionistic logics
On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics
Fuzzy Topology and Lukasiewicz Logics from the Viewpoint of Duality Theory
The Second Incompleteness Theorem and Bounded Interpretations
An Axiomatization for Until and Since over the Reals without the IRR Rule
Internal approach to external sets and universes (Part III)
First Order Common Knowledge Logics
A Semantic Approach to Conservativity
Correction to: A Modal View on Resource-Bounded Propositional Logics
On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic
Fibred Security Language
Normal Modal Logics Determined by Aligned Clusters
Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs
A Logical Foundation of Arithmetic
Natural Deduction Systems for Intuitionistic Logic with Identity
Wright's First-Order Logic of Strict Finitism
Radim Belohlavek and George J. Klir (eds.), Concepts and Fuzzy Logic
B-varieties with normal free algebras
Cause as an implication
Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part 1
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs
On the Dynamic Logic of Agency and Action
A Dichotomy for Some Elementarily Generated Modal Logics
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation
Selfextensional Logics with a Conjunction
On a First-Order Bi-Sorted Semantically Closed Language
Vladimir Alexandrovich Smirnov as a Founder of Research Schools in Logic and Methodology of Science in the USSR and Russia
Epistemic Operators in Dependence Logic
Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations
Realization for Causal Nondeterministic Input-Output Systems
Transfers between Logics and their Applications
A Proof of Tarski's Fixed Point Theorem by Application of Galois Connections
Reasoning about Actions and Obligations in First-Order Logic
First-Order da Costa Logic
Definability and Quantifier Elimination for J 3 -theories
A Coalgebraic Perspective on Logical Interpretations
Probabilistic Justification and the Regress Problem
Higher-Level Paradoxes and Substructural Solutions
Interpreting First-order Theories into a Logic of Records
Many Concepts and Two Logics of Algorithmic Reduction
Understanding the Brandenburger-Keisler Paradox
Recursive versus recursively enumerable binary relations
A Negationless Interpretation of Intuitionistic Theories I
Cut-elimination for Weak Grzegorczyk Logic Go
Nonstandard combinatorics
Internal approach to external sets and universes (Part II)
Definable Operators on Stable Set Lattices
Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II
A content semantics for quantified relevant logics. II
Some Results on Modal Axiomatization and Definability for Topological Spaces
A Framework for Multi-Agent Belief Revision
Dialogue Games for Many-Valued Logics - an Overview
Axiomatic Extensions of IMT3 Logic
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi
Inquisitive Heyting Algebras
Q-ultrafilters and normal ultrafilters in B-algebras
Free Lukasiewicz and Hoop Residuation Algebras
On a problem of P(α, δ, π) concerning generalized Alexandroff s cube
Unification of Two Approaches to Quantum Logic: Every Birkhoff - von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic
An application of a Theorem of Ash to finite covers
A representation theorem for languages with generalized quantifiers through back-and-forth methods
Model Existence in Non-Compact Modal Logic
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups
Non-distributive Relatives of ETL and NFL
On the eliminatibility of ideal linguistic entities
On Heyting Algebras with Negative Tense Operators
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
Cut-Elimination and Quantification in Canonical Systems
No non-trivial quasivariety of BCK-algebras has decidable first order theory
Knowledge on Treelike Spaces
Turing-Taylor Expansions for Arithmetic Theories
Book Review: Nicholas J.J. Smith, Logic: The Laws of Truth
Modality and Mellor's McTaggart
Rosser orderings and free variables
On relative universality and Q -universality
Tableaux and Dual Tableaux: Transformation of Proofs
A content semantics for quantified relevant logics. I
The Lindenbaum fixed point algebra is undecidable
From Bi-facial Truth to Bi-facial Proofs
Commuting Conversions vs. the Standard Conversions of the "Good" Connectives
In Memory of Willem Johannes Blok 1947-2003
Contextual Deduction Theorems
Theories of Truth Which Have No Standard Models
An axiomatization of the finite-valued Łukasiewicz calculus
Normal Proofs, Cut Free Derivations and Structural Rules
An Institution-independent Proof of Craig Interpolation Theorem
Equivalents of Mingle and Positive Paradox
The logics of orthoalgebras
A note on the normal form of closed formulas of interpretability logic
Axiomatizing Relativistic Dynamics without Conservation Postulates
Peirce's Contributions to Possible-Worlds Semantics
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska's Theorem Revisited
Bilattices with Implications
On Lukasiewicz-Moisil algebras of fuzzy sets
The Structure Group of a Generalized Orthomodular Lattice
Urszula B. Wybraniec-Skardowska, Logic-Language-Ontology, Selected Works, Birkhäuser Cham, 2022, pp. 300+xiii; ISBN: 978-3-031-22329-7 (Hardcover) 139.09€, ISBN: 978-3-031-22332-7 (Softcover) 139.09€, ISBN: 978-3-031-22330-3 (eBook) 106.99€
Meaning and Interpretation. I
A Categorical Approach to Probability Theory
A Model of Tolerance
Why objects exist but events occur
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus
Temporal necessity and the conditional
Logic Families
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic
Believability Relations for Select-Direct Sentential Revision
Natural Deduction for Dual-intuitionistic Logic
Executability and Connexivity in an Interpretation of Griss
Categorical Equivalence Between PMV f -Product Algebras and Semi-Low f u -Rings
Varieties of Three-Valued Heyting Algebras with a Quantifier
On Finite Models of the Lambek Calculus
Curry-Howard Terms for Linear Logic
Axiomatizing logics closely related to varieties
On subdirectly irreducible OMAs
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL
A Gentzen system for conditional logic
On the Elementarity of Some Classes of Abelian-by-Infinite Groups
Modeling Reasoning in a Social Setting
Projective Beth Property in Extensions of Grzegorczyk Logic
Thomas Foster, Logic, Induction and Sets, (London Mathematical Society Student Texts 56), Cambridge University Press, Cambridge 2003, X + 234 pp, ISBN 0 521 53361 9
An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics
Non-standard Stochastics with a First Order Algebraization
RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa-Sikorski Lemma in Arithmetic (I)
Tableaux for Some Modal-Tense Logics Graham Priest's Fashion
Logics preserving degrees of truth
Extended Contact Algebras and Internal Connectedness
Pure Modal Logic of Names and Tableau Systems
Actuality and World-Indexed Sentences
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices
Interpolation and amalgamation properties in varieties of equivalential algebras
Logic and Grammar
Semi-DeMorgan algebras
Predicate Logics on Display
Connexive Negation
Preservation Theorems Without Continuum Hypothesis
Probabilistic Logics with Independence and Confirmation
Paraconsistency in Non-Fregean Framework
Interpolation in 16-Valued Trilattice Logics
Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition
Torben Braüner, Hybrid Logic and its Proof-Theory, Applied Logic Series Volume 37, Springer, 2011, pp. XIII+231. ISBN: 978-94-007-0001-7 (hardcover) EURO 99, 95, ISBN: 978-94-007-0002-4 (eBook) EURO 99, 99
M-Zeroids: Structure and Categorical Equivalence
On Vagueness, Truth Values and Fuzzy Logics
On axiomatization of many-valued logics associated with formalization of plausible reasonings
Modality, Si! Modal Logic, No!
A Modal Logic for Mixed Strategies
Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations
Algebraic logic for classical conjunction and disjunction
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples
Remarks on the Theory of Quasi-sets
Karel Lambert, Free Logic: Selected Essays
Distributive Full Lambek Calculus Has the Finite Model Property
From Oughts to Goals: A Logic for Enkrasia
Deontic Database Constraints, Violation and Recovery
Hybrid terms and sentences
Erotetic arguments: A preliminary analysis
A Generalization of the Lukasiewicz Algebras
Quantized Linear Logic, Involutive Quantales and Strong Negation
Dominions in quasivarieties of universal algebras
Fuzzy Logic and Arithmetical Hierarchy, II
Loop-Check Specification for a Sequent Calculus of Temporal Logic
Algebras and Matrices for Annotated Logics
Infinite Forcing and the Generic Multiverse
Characterization of prime numbers in Łukasiewicz's logical matrix
Normal predicative logics with graded modalities
Preface. In Memoriam Pierangelo Miglioli (1946-1999)
An almost general splitting theorem for modal logic
Verisimilitude based on concept analysis
Î K : a Non-Fregean Logic of Explicit Knowledge
Set-Theoretic Absoluteness and the Revision Theory of Truth
Reasoning with Slippery Predicates
Three-element nonfinitely axiomatizable matrices
Interpolation and Definability in Guarded Fragments
The Fundamental Problem of General Proof Theory
Computably Enumerable Equivalence Relations
Weakly Associative Relation Algebras with Polyadic Composition Operations
Connection-Driven Inductive Theorem Proving
Information functions with applications
Hyperintensionality and Fine-Grained Semantics
Bernard Linsky, Russell's Metaphysical Logic
Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds
A Utility Based Evaluation of Logico-probabilistic Systems
Distributive lattices with an operator
Effective Cut-elimination for a Fragment of Modal mu-calculus
Alpha-conversion, conditions on variables and categorical logic
l-Hemi-Implicative Semilattices
Joseph Y. Halpern, Reasoning about uncertainty
What is a Truth Value And How Many Are There?
Idempotent Variations on the Theme of Exclusive Disjunction
Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics
Indicative conditionals: Factual or Epistemic?
Definability theorems in normal extensions of the probability logic
A note on sequent calculi intermediate between LJ and LK
Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12)
Varieties of Monadic Heyting Algebras - Part I
Natural dualities for varieties of n -valued Lukasiewicz algebras
The Refined Extension Principle for Semantics of Dynamic Logic Programming
Book review - P. Blackburn, J. Van Benthem, and F. Wolter: Review of Handbook of Modal Logic
Dynamic algebras: Examples, constructions, applications
Categorial grammars determined from linguistic data by unification
Book Review: A Mathematical Prelude to the Philosophy of Mathematics
The Shaping of Deduction in Greek Mathematics: A Study in Coginitive History
Decomposability of the Finitely Generated Free Hoop Residuation Algebra
A finite analog to the Löwenheim-Skolem theorem
From Axiomatic Logic to Natural Deduction
Indecomposable congruence modular algebras
Topological-Frame Products of Modal Logics
Fatal Heyting Algebras and Forcing Persistent Sentences
Modular Sequent Calculi for Classical Modal Logics
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format
Sets with Dependent Elements: A Formalization of Castoriadis' Notion of Magma
Finite Contractions on Infinite Belief Sets
Four dialogue systems
$\varvec{Brings~It~About~That}$ Operators Decomposed with Relating Semantics
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic
Possible Worlds in Use
Quasivarieties of cancellative commutative binary modes
The Variety Generated by all the Ordinal Sums of Perfect MV-Chains
Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas
Carnap's Theory of Descriptions and its Problems
A Deep Inference System for the Modal Logic S5
The Basic Algebra of Game Equivalences
Simplified Kripke-Style Semantics for Some Normal Modal Logics
On simplicity of formulas
Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization
A Mixed lambda-calculus
Bayesian Confirmation or Ordinary Confirmation?
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable
A Necessary Relation Algebra for Mereotopology
Gricean Belief Change
The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable
Circular Discernment in Completely Extensive Structures and How to Avoid such Circles Generally
On the Representation of N4-Lattices
Theories of Truth without Standard Models and Yablo's Sequences
An algebraic treatment of the barwise compactness theory
Towards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision
Strong Reduction of Combinatory Calculus with Streams
Factor Congruence Lifting Property
Very True Operators on Pre-semi-Nelson Algebras
Completeness and Correspondence in Chellas-Segerberg Semantics
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics
Predicate logics without the structure rules
The Skolem-Löwenheim theorem in toposes. II
General Extensional Mereology is Finitely Axiomatizable
Generalization of Scott's formula for retractions from generalized Alexandroff's cube
Algebraic Aspects of Cut Elimination
A New Small Emendation of Gödel's Ontological Proof
A Logic is Referential iff it is Selfextensional
Book Review: Neil Tennant, Changes of Mind: An Essay on Rational Belief Revision
Quantified Extensions of Canonical Propositional Intermediate Logics
40 years of FDE: An Introductory Overview
Relevant implication and the weak deduction theorem
An Internal Version of Epistemic Logic
Holger Andreas and Peter Verdée (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics - Springer, Series: Trends in Logic, Vol. 45 2016, pp. vi + 221. ISBN 978-3-319-40218-5
Turing L -machines and recursive computability for L -maps
Two Views of the Logic of Plurals and a Reduction of One to the Other
From Permissions to Obligations and Beyond: An Editorial
International Union of History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science Bulletin no. 11
Patrick Blackburnand Johan Bos, Representation and Inference for Natural Language
Semi-Post algebras
Mild Contraction. Evaluating Loss of Information Due to Loss of Belief
Categorical Abstract Algebraic Logic Metalogical Properties
On a Generalization of Heyting Algebras I
Substructural Implicational Logics Including the Relevant Logic E
Fragments of R-Mingle
Poset Product and BL-Chains
Don't Ever Do That! Long-term Duties in PD e L
Completeness of a Branching-Time Logic with Possible Choices
Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems
An Alternative Normalization of the Implicative Fragment of Classical Logic
Cut-free sequent and tableau systems for propositional Diodorean modal logics
Proof Theory for Functional Modal Logic
Bootstrap Contraction
Intuitionistic Logic is a Connexive Logic
On Modal µ -Calculus and Gödel-Löb Logic
One Hundred Years of Intuitionism (1907-2007)
Valuation Semantics for S4
Erratum to Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica , 88: 405-429, 2008
Undecidability without Arithmetization
The Naturality of Natural Deduction
Quineanism, Noneism and Metaphysical Equivalence
Positive Announcements
Publications of Vladimir Alexandrovich Smirnov
Kripke Bundle Semantics and C-set Semantics
Complexity of the Universal Theory of Modal Algebras
Variations on the Calculi C n of da Costa
Key notions of Tarski's methodology of deductive systems
Cut Elimination for S4C: A Case Study
Compatible Operations on Residuated Lattices
Deontology of Compound Actions
On Geometric Implications
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 €
A Duality for Involutive Bisemilattices
The lattice of distributive closure operators over an algebra
Valuations: Bi, Tri, and Tetra
Quantale Valued Sets: Categorical Constructions and Properties
Rethinking Gibbard's Riverboat Argument
Periodicity and Reflexivity in Revision Sequences
Quantum Computational Structures: Categorical Equivalence for Square Root qMV -algebras
Intuitionistic Games: Determinacy, Completeness, and Normalization
Rasiowa-Harrop Disjunction Property
Duality Theory and Skeleta for Semisimple MV-Algebras
A Note on Matrices for Systems of nonsense-logics
A Second Pretabular Classical Relevance Logic
Decidability of General Extensional Mereology
Bets and Boundaries: Assigning Probabilities to Imprecisely Specified Events
A Note on Graded Modal Logic
Linear Processing with Pregroups
Equivalents for a Quasivariety to be Generated by a Single Structure
Referentiality and Matrix Semantics
Constructive Validity of a Generalized Kreisel-Putnam Rule
Constructing a continuum of predicate extensions of each intermediate propositional logic
On the Algebraizability of the Implicational Fragment of Abelian Logic
The non-definability notion and first order logic
Simulation and Transfer Results in Modal Logic - A Survey
Normalization and excluded middle. I
Lattices of Finitely Alternative Normal Tense Logics
On the degree of complexity of sentential logics, III. An example of Johansson's minimal logic
Meaning and Interpretation. II
Gregory J. Chaitin, The Unknowable, Springer-Verlag, Singapore 1999
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator
On maximal intermediate logics with the disjunction property
The Undecidability of Iterated Modal Relativization
Mathematics of Totalities: an alternative to mathematics of sets
Convex MV-Algebras: Many-Valued Logics Meet Decision Theory
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras
A Way to Interpret Lukasiewicz Logic and Basic Logic
Duality for algebras of relevant logics
Kripke semantics for knowledge representation logics
The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory
A New Approach to Classical Relevance
Variations on the Kripke Trick
Correspondence Between Kripke Frames and Projective Geometries
No Matrix Term-Equivalent to Wronski's 3-element Matrix is Finitely Based
Associative Substitutional Semantics and Quantified Modal Logic
Process and Action: Relevant Theory and Logics
Stefania Centrone, Deborah Kant, Deniz Serikaya, Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts, vol. 407 of Synthese Library, Springer, 2019, pp. 494+xxviii; ISBN: 978-3-030-15654-1 (Hardcover) 149.79€, ISBN: 978-3-030-15655-8 (eBook)
Some Remarks on Ultrafilter and Normality Logics
The Solvability of Probabilistic Regresses. A Reply to Frederik Herzberg
Products of Classes of Residuated Structures
Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability
Generic generalized Rosser fixed points
An n -Player Semantic Game for an n + 1-Valued Logic
Weakly higher order cylindric algebras and finite axiomatization of the representables
A Note on Strong Axiomatization of Gödel Justification Logic
Ontological Proofs of Existence and Non-Existence
On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees
Consistency Defaults
Why Combine Logics?
Stalnakerian Connexive Logics
A Modal Logic of Metaphor
Constructive Logic with Strong Negation is a Substructural Logic. II
Elementary extensions of topological models in L t language
A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute
Satisfiability Testing for Boolean Formulas Using Delta-trees
Note by the Guest Editors
A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT 4
Sequent-systems and groupoid models. II
On Some Classes of Commutative Weak BCK-Algebras
Finite Basis Problem for Semigroups of Order Five or Less: Generalization and Revisitation
A Survey of Nonstandard Sequent Calculi
Logic and Reasoning: do the facts matter?
Skolem's Discovery of Gödel-Dummett Logic
Tolerance and Mixed Consequence in the S'valuationist Setting
Connexivity in the Logic of Reasons
A Sequent Calculus for a Negative Free Logic
Some Closure Properties of Finite Definitions
Extending Free Pregroups with Lower Bounds
On the Logic of Acceptance and Rejection
Completeness in Equational Hybrid Propositional Type Theory
Free Quantified Epistemic Logics
A model for science kinematics
Predicate provability logic with non-modalized quantifiers
Congruences on a Balanced Pseudocomplemented Ockham Algebra whose Quotient Algebras are Boolean
A Coalgebraic View of Heyting Duality
Graded modalities. I
Wajsberg algebras and Post algebras
The McKinsey Axiom on Weakly Transitive Frames
Some Aspects of Polyadic Inductive Logic
Semantical analysis of predicate logics without the contraction rule
Behavioral Algebraization of Logics
First-Degree Entailment and its Relatives
An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz