yusuke1997/dblp-id-title huggingface dataset:
An extension of the basic functionality theory for the λ-calculus
A categorical equivalence of proofs
Why Intuitionistic Relevant Logic Cannot Be a Core Logic
The completeness of intuitionistic propositional calculus for its intended interpretation
Grigorieff Forcing on Uncountable Cardinals Does Not Add a Generic of Minimal Degree
Positive Model Theory and Amalgamations
A Note on Weakly O-Minimal Structures and Definable Completeness
Corrigendum to my paper: "Note on definitional reductions"
A Counterexample in Tense Logic
On some open questions of B. Sobociński
Fregean semantics for a realist ontology
Controlling Effective Packing Dimension of Δ 0 2 Degrees
Formation sequences for propositional formulas
The strong decidability of cut-logics. I. Partial propositional calculi
Erratum: "Duals of Smullyan trees"
Geach and the Lewis result
Admissible rules, derivable rules, and extendible logistic systems
On Generalizing Kolmogorov
Binomial pairs, semi-Brouwerian and Brouwerian semilattices
The propostitional calculus MC and its modal analog
Quantified modal logic and self-reference
Aristotle's syllogistic
Montague's Paradox, Informal Provability, and Explicit Modal Logic
Modality and preference relation
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom
Systems of sentence logic with trans-atomic units
Decomposable orthologics
Semantical analysis of superrelevant predicate logics with quantification
Introduction to the Fiftieth Anniversary Issues
Preservation by Homomorphisms and Infinitary Languages
Andersonian Deontic Logic, Propositional Quantification, and Mally
The Computational Content of Arithmetical Proofs
On the calculus MCC
Concerning the postulate-systems of subtractive abelian groups
Book Review: Jody Azzouni. Deflating Existential Consequence: A Case for Nominalism
A Lindström Theorem for Intuitionistic Propositional Logic
Postscript: "A note concerning the notion of mereological class"
Squares of opposition: Comparisons between syllogistic and propositional logic
Revisiting Chaitin's Incompleteness Theorem
Universal pairs of regressive isols
The specific reading of A-propositions in a defense of William of Sherwood
Truth in constructive metamathematics
Improving a Bounding Result That Constructs Models of High Scott Rank
Nonclassical Mereology and Its Application to Sets
Russell's first theory of denoting and quantification
Emil Artin, his life and his work
The Complexity of Revision, Revised
On eliminating an unwanted axiom in the characterization of R m using topological geometries
Finiteness Classes and Small Violations of Choice
IKTω and Łukasiewicz-Models
Atomistic mereology. II
Computability of Homogeneous Models
A semantical proof of the undecidability of the monadic intuitionistic predicate calculus of the first order
Buridan's Divided Modal Syllogistic
S1° and Brouwerian axioms
Two remarks concerning Menger's and Schultz' postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions
The theory of consequence in the late fifteenth and early sixteenth centuries
Copi's method of deduction again
Generalized Halfspaces in the Mixed-Integer Realm
The theory of homogeneous simple types as a second-order logic
Models of an extension of the theory ORD
Algebraic Study of Two Deductive Systems of Relevance Logic
Many-valued logics and the Lewis paradoxes
A formal system for the non-theorems of the propositional calculus
A note on Suzuki's chain of hyperdegrees
Location of some modal systems
An axiomatization of Prior's modal calculus Q
Level Compactness
Functional completeness and non-Łukasiewiczian truth functions
Three set-theoretical formulas
Intensions, Church's thesis, and the formalization of mathematics
Parry Syllogisms
An actualistic semantics for quantified modal logic
A deduction theorem for rejection theses in Łukasiewicz's system of modal logic
On an implication connective of RM
The axiomatisation of theories of material necessity
Completeness of relevant quantification theories
Life, Art, and Mysticism
The entailment operator
A Lifting Argument for the Generalized Grigorieff Forcing
Sur un théorème équivalent à l'axiome du choix
Imcomplete models
Classical Negation and Game-Theoretical Semantics
A second deduction theorem for rejection theses in Łukasiewicz's system of modal logic
An Undecidable Property of Recurrent Double Sequences
The Borel Complexity of Isomorphism for Theories with Many Types
Cumulative versus Noncumulative Ramified Types
Elimination of Hyperimaginaries and Stable Independence in Simple CM-Trivial Theories
An Arithmetical Completeness Theorem for Pre-permutations
Compressibility and Kolmogorov Complexity
Toward a Theory of Second-Order Consequence
Note on Carney's "Introduction to symbolic logic"
A proof of a theorem of Łukasiewicz
Modal interpretations of three-valued logics. I
Equational classes of relative Stone algebras
Automorphisms of ω-octahedral graphs
An intuitionistic Sheffer function
Rado's theorem and solvability of systems of equations
Reduced models for relevant logics without WI
Model structures and set algebras for Sugihara matrices
Probability as degree of possibility
Pseudo Treealgebras
A ternary universal decision element
K1 as a Dawson modeling of A. R. Anderson's sense of "ought"
Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems
Saying it with Numerals
Solution to a problem of Chang and Lee
A model-theoretic reconstruction of Frege's permutation argument
The octagon of opposition
Results regarding the axiomatization of partial propositional calculi
A free logic with simple and complex predicates
Propositional sequence-calculi for inconsistent systems
A diagrammatic treatment of syllogistic
A preliminary report on the theory of unification of sciences and its concept transforming automation
Manifolds allowing RET arithmetic
Book Review: Marian David. Correspondence and Disquotation: An Essay on the Nature of Truth
Automorphisms of ω-cubes
A new extension of S4
Hybrid Formulas and Elementarily Generated Modal Logics
A Note on Algebraic Semantics for S5 with Propositional Quantifiers
The formalizing of the topics in mediaeval logic
On propositions
A completeness theorem for dynamic logic
Reduction and Tarski's Definition of Logical Consequence
Relative strength of Malitz quantifiers
An unsolvable problem concerning implicational calculi
Categories of Topological Spaces and Scattered Theories
A Distinguishable Model Theorem for the Minimal US-Tense Logic
The Gupta-Belnap systems S # and S * are not axiomatisable
On the Revision of Probabilistic Belief States
Cognitive science and the twin-Earth problem
Unary Interpretation Logic
A Simple Proof of Parsons' Theorem
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents
Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint
Syllogistic and non-syllogistic aspects of the comparative argument
On prosleptic syllogisms
A Note on the Logic of Eventual Permanence for Linear Time
A note on the intuitionist fan theorem
Constructive Modelings for Theory Change
Ordered pairs and cardinality in new foundations
Natural deduction rules for modal logics
Generalizations of the Weak Law of the Excluded Middle
Inequality in Constructive Mathematics
Intention-based semantics
Classical logical relations
Splittings and Disjunctions in Reverse Mathematics
The Cardinality of Powersets in Finite Models of the Powerset Axiom
Axioms for generalized Newman algebras
An Elementary Proof for Some Semantic Characterizations of Nondeterministic Floyd-Hoare Logic
Number system for the immediate inferences and the syllogism in Aristotelian logic
Essential Forcing Generics
Proof of some theorems on recursively enumerable sets
Why is Conjunctive Simplication Invalid?
"Not both p and q, therefore if p then q" is a valid form of argument
Certain extensions of modal system S4
A completeness-proof method for extensions of the implicational fragment of the propositional calculus
Intension, designation, and extension
New Semantics for the Extensional but Hyper-intensional Part L α of the Modal Sense Language SL α ν
The completeness of Stoic propositional logic
Do we need relative identity?
On the number of variables in the axioms
Remarks about axiomatizations of certain modal systems
Modal tree constructions
Final word on a shortest implicational axiom
Recursively saturated models generated by indiscernibles
Functional completeness of Henkin's propositional fragments
Infinitesimal Comparisons: Homomorphisms between Giordano's Ring and the Hyperreal Field
Vapnik-Chervonenkis Density on Indiscernible Sequences, Stability, and the Maximum Property
A Note on Monothetic BCI
A note on the decomposition of theories with respect to amalgamation, convexity, and related properties
Book Review: Logic, Mathematics, and the Mind: A Critical Study of Richard Tieszen's Phenomenology, Logic, and the Philosophy of Mathematics
Incompleteness theorem via weak definability of truth: a short proof
Forking and Dividing in Henson Graphs
Cofinal extensions of nonstandard models of arithmetic
A note on: "Transitivity, supertransitivity and induction"
Computability on finite linear configurations
Full Satisfaction Classes: A Survey
End Extensions of Models of Weak Arithmetic Theories
A strong completeness theorem for 3-valued logic
The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic
Automorphisms of Countable Recursively Saturated Models of PA: a Survey
Two basic pure-implicational systems
The Complexity of Revision
Degrees of unsolvability and strong forms of Λ R + Λ R ⊈ Λ R
Reverse Mathematics and Uniformity in Proofs without Excluded Middle
Presupposition: an alternative approach
Lattice-theoretical and mereological forms of Hauber's law
Intermediate Logics and Visser's Rules
The Complexity of Radicals and Socles of Modules
Algebra and Theory of Order-Deterministic Pomsets
Ernst Mally's Deontik (1926)
Some results and algebraic applications in the theory of higher-order ultraproducts
Normal and skew systems
Additional note on lattice-theoretical form of Hauber's law
A modal system properly independent of both the Brouwerian system and S4
Continu'ous Time Goes by Russell
Classifications for inconsistent theories
Modal Definability in Enriched Languages
An elementary construction of the natural numbers
Book Review: David Christensen. Putting Logic in its Place: Formal Constraints on Rational Belief
Book Review: Stewart Shapiro. Foundations with foundationalism.
Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction
A note on Kripke's distinction between rigid designators and nonrigid designators
The application of ternary semi-groups to the study of n-valued Sheffer functions
An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated
Errata: "A double-iteration property of Boolean functions"
Quantified Modal Logics of Positive Rational Numbers and Some Related Systems
Some results on generalized truth-tables
A highly efficient "transfinite recursive definitions" axiom for set theory
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic
Diagonalization and the recursion theorem
Primitive recursive computations
Further extensions of $S3^\ast$
Infinite truth-functional logic
Is Hume's Principle Analytic?
A Generalization of the Adequacy Theorem for the Quasi-Senses
A Contingent Russell's Paradox
On a tableau rule for identity
Realism and Paradox
A result on propositional logics having the disjunction property
Surface reasoning
A note on implicative models
Cut-Free Systems for Three-Valued Modal Logics
A note on the truth-table for "if p then q"
Provable Forms of Martin's Axiom
Schematizing De Morgan's argument
A simple algebra of first order logic
Syntax in Basic Laws paragraph paragraph 29-32
Coding and Definability in Computable Structures
Axioms for mereology
Decomposable Ultrafilters and Possible Cofinalities
S5 without modal axioms
A linearly ordered topological space that is not normal
Essentialism and the modal semantics of J. Hintikka
The Strenght of the Delta-system Lemma
Reply to Burgess and to Read
Three substitution-instance interpretations
Special Issue on Admissible Rules and Unification
A formalisation of the arithmetic of the ordinals less than W ω
Toward a pragmatical explication of epistemic modalities
Ideals and Their Generic Ultrafilters
A Note on Recursive Models of Set Theories
Note on an independence proof of Johansson
Grades of Discrimination: Indiscernibility, Symmetry, and Relativity
Buridan: "every proposition is false" is false
Local and global operators and many-valued modal logics
A Remark on Algebraic Closure and Orthogonality
Numerical Term Logic
Recursively saturated ω 1 -like models of arithmetic
Domain restrictions in standard deductive logic
Binary Quantification Systems
Completeness theorems for two propositional logics in which identity diverges from mutual entailment
Two identities for lattices, distributive lattices and modular lattices with a constant
On referentiality and its conditions
Algebraic Logic Perspective on Prucnal's Substitution
Moore's proposition W
A Henkin completeness for T
A New Solution to a Problem of Hosoi and Ono
A C.E. Real That Cannot Be SW-Computed by Any Ω Number
A Single Axiom for Set Theory
A note concerning the notion of mereological class
The nature of reflexive paradoxes. II
Approximate truth and Łukasiewicz logic
Semantical antinomies in the logic of sense and denotation
S4.6 is S4.9
On the number of nonisomorphic models of cardinality λ L ∞λ -equivalent to a fixed model
The weak topology on logical calculi
Two thought experiments reviewed: comments on J. A. Fodor's paper: "Cognitive science and the twin-Earth problem"
Professor Quine and real classes
(X): comments on J. J. Katz's paper: "Common sense in semantics"
A five-valued model of the E-p-q-theses
Three-valued propositional fragments with classical implication
A first-order logic with no logical constants
Leśniewski's ontology extended with the axiom of choice
Logic in Russell's Principles of Mathematics
Consistent, independent, and distinct propositions
A deduction rule for VBTO( ) n i=1
Lehmann on the rules of the invalid syllogisms
More on R
Superhighness
Universal Structures
Unusual feature of $S3^\ast$
Reflexive Intermediate Propositional Logics
Acceptable notation
Physical modalities and the system E
Note on definitional reductions
An early fifteenth century discussion of infinite sets
Tense logic and time
A diachronic semantics for inexact reference
Defining "Good" and "Bad" in Terms of "Better"
Separating minimal, intuitionist, and classical logic
More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic
Generalized Archimedean fields
Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic
An Equivalent of the Axiom of Choice in Finite Models of the Powerset Axiom
BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas
A generalization of the Gentzen Hauptsatz
The deduction theorem in S4, S4.2, and S5
Regressive functions and combinatorial functions
A note on a theorem of C. Yates
A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic
On saturation for a predicate
Hyperenumeration reducibility
Two More Characterizations of K -Triviality
Irrevocable Belief Revision in Dynamic Doxastic Logic
On the Uniform Computational Content of the Baire Category Theorem
Intuitionistic Completeness and Classical Logic
Some Modal Logics Based on a Three-Valued Logic
On NFU
Errata: "On characterizations of the first-order functional calculus"
A Simple Proof that Super-Consistency Implies Cut Elimination
Lascar Types and Lascar Automorphisms in Abstract Elementary Classes
Axioms for tense logic. II. Time periods
An Intriguing Logic with Two Implicational Connectives
Some admissible rules in nonnormal modal systems
Equivalence relations and S5
Pitts' Quantifiers Are Not Topological Quantification
Generalized Hardy fields in several variables
Probability logic
Errata: On the single axioms of protothetic. III
A Closer Look at Some Subintuitionistic Logics
Teachers, Learners, and Oracles
Two notes on recursively enumerable vector spaces
Intuitionistic Open Induction and Least Number Principle and the Buss Operator
Prior and the Barcan formula
A Strong Model of Paraconsistent Logic
Examination of the axiomatic foundations of a theory of change. II
L'axiome du choix
Logical and probability analysis of systems
Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property
Numerical Abstraction via the Frege Quantifier
Topological geometries and a new characterization of R m
Note on G. J. Massey's closure-algebraic operation
Book Review: Penelope Maddy. Naturalism in Mathematics
Beneš's Partial Model of NF: An Old Result Revisited
An augmented modal logic
Two separation theorems for natural deduction
The written liar and Thomas Oliver
Representations for Small Relation Algebras
Toward the Limits of the Tennebaum Phenomenon
Modal trees for T and S5
NOR logic: a system of natural deduction
An analysis of the concept of constructive categoricity
Impossible Worlds - Editor's Introduction
Some Remarks on Real Numbers Induced by First-Order Spectra
Church's theorem on the decision problem
Corrigendum to our paper: "A theorem on n-tuples which is equivalent to the well-ordering theorem"
A class of two-place three-valued unary generators
The entailment-presupposition relationship
Some applications of model theory to the metatheory of program schemata
Locating vertices of trees
Modality and possibility in some intuitionistic modal logics
Blurring: An Approach to Conflation
Definitions of semantical reference and self-reference
On Goodman Realizability
A group-theoretic characterization of the ordinary and isotropic Euclidean planes
Transplendent Models: Expansions Omitting a Type
Material implication, confirmation, and counterfactuals
Generalised logic. II
A Note on Freedom from Detachment in the Logic of Paradox
On the use of more than two-element Boolean valued models
On the Spectrum of Characters of Ultrafilters
Rudiments of a theory of reference
A Variable Free Logic for Mass Terms
A Choice-Free Cardinal Equality
A note on the law of identity and the converse Parry property
In memoriam: Edward John Lemmon (1930 - 1966)
Corrigendum and addendum to: "A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice"
The pragmatics of first order languages. II
Frege against the Booleans
On the Inconsistency of Mumma's Eu
Axiomatization of fragments of S5
On the single axioms of protothetic. II
When do *continuous extensions exist?
Revisiting ℤ
Selection functions for recursive functionals
The Carrollian matrix
Ontology in the Tractatus of L. Wittgenstein
A new proof of completeness
Axiomatic inscriptional syntax. I. General syntax
An Abelian Rule for BCI - and Variations
Types in combinatory logic
An Herbrand theorem for prenex formulas of LJ
A parity-based Frege proof for the symmetric pigeonhole principle
Idempotent Full Paraconsistent Negations are not Algebraizable
On the Σ 1 0 -Conservativity of Σ 1 0 -Completeness
On the connection of the first-order functional calculus with many-valued propositional calculi
Mechanizing logic. II. Automated map logic method for relational arguments on paper and by computer
Addendum to my article: "Proof of some theorems on recursively enumerable sets"
Rings of term-relation numbers as non-standard models
Two notes on vector spaces with recursive operations
Pointwise definable substructures of models of Peano arithmetic
The truncation of truth-functional calculation
On a problem of Th. Skolem
A simple version of the generalized continuum hypothesis
A new class of modal systems
A Classically-Based Theory of Impossible Worlds
Syntactically free, semantically bound. A note on variables
Note on an inequality of Tibor Rado
Forcing Complexity: Minimum Sizes of Forcing Conditions
Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System
Logics of Truth
Direct consistency proof of Gentzen's system of natural deduction
Multi-Dimensional Semantics for Modal Logics
New Degree Spectra of Abelian Groups
Categorical Abstract Algebraic Logic: Models of π-Institutions
An Order-Theoretic Account of Some Set-Theoretic Paradoxes
On the Jumps of the Degrees Below a Recursively Enumerable Degree
An analysis of the subjunctive conditional
Contractions of Closure Systems
Independence in higher-order subclassical logic
On Potential Embedding and Versions of Martin's Axiom
Frege on Referentiality and Julius Caesar in Grundgesetze Section 10
Ramsey Algebras and Formal Orderly Terms
The "Relevance" of Intersection and Union Types
Transitivity, supertransitivity and induction
Certain sets of postulates for distributive lattices with the constant elements
On an alleged contradiction lurking in Frege's Begriffsschrift
Weak Theories of Concatenation and Arithmetic
Incremental Semantics for Propositional Texts
Interpolation and the Interpretability Logic of PA
Some results on finite axiomatizability in modal logic
Relative Vaught's Conjecture for Some Meager Groups
The Church Rosser theorem for strong reduction in combinatory logic
Impurity in Contemporary Mathematics
A model for Leśniewski's mereology in functions
Russell, Presupposition, and the Vicious-Circle Principle
Inferentialism and Quantification
Ultrasheaves and Double Negation
A theory of restricted variables without existence assumptions
The extensional pragmatics of commands
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic
A note on p=mv
Two Variants of Noncontingency Operator
De Re Modality and the New Essentialism: A Dilemma
The Numerical Syllogism and Existential Presupposition
An intensional logic of predicates and predicate modifiers without modal operators
The modal logic of 'all and only'
Minimalization of Boolean polynomials, truth functions, and lattices
On Type Definable Subgroups of a Stable Group
A note on a problem concerning the axiomatic foundations of mereology
Three identities for ortholattices
Weight and Measure in NIP Theories
On a class of regular sets
Proof-finding Algorithms for Classical and Subclassical Propositional Logics
Effective Packing Dimension and Traceability
Towards a logic of significance
The development of Lewis' theory of strict implication
Semantics for S4.04, S4.4, and S4.3.2
Truth, falsehood, and contingency in first-order predicate calculus
Boolean-Valued Second-Order Logic
Book Review: Jody Azzouni. Tracking Reason: Proof, Consequence, and Truth
The inadequacy of Hughes and Cresswell's semantics for the CI systems
A short postulate-system for ortholattices
A Simple Axiomatizable Theory of Truth
Stable Formulas in Intuitionistic Logic
Decision procedures for S2 0 and T 0
A Note on Logics of Ignorance and Borders
Some things do not exist
Congruences in Lemmon's S0.5
A note on UDE's in an n-valued logic
On the connection of the first-order functional calculus with ℵ 0 propositional calculus
An application of mathematical logic to the integer linear programming problem
Distality for the Asymptotic Couple of the Field of Logarithmic Transseries
The Theory of Descriptions Revisited
Note on duality in propositional calculus
Lattices in Locally Definable Subgroups of <R n ,+>
A Dilemma in the Philosophy of Set Theory
A simple strong completeness proof for sentential logic
A new foundation for the theory of relations
Quantification and Ł-modality
Completeness of Copi's method of deduction
Constructive predicate logic with strong negation and model theory
Do we need models?
Non-existence does not exist
Definitional Boolean calculi
On the number of generators of an ideal
Correlative remarks concerning elementary number theory, groups and mutant sets
On the consistency of the first-order portion of Frege's logical system
A Remark on Negation in Dependence Logic
On Generic Structures
Ontologies for Plane, Polygonal Mereotopology
A study in Burleigh: Tractatus de regulis generalibus consequentiarum
Semantic paradox of material implication