yusuke1997/dblp-id-title huggingface dataset:
The predicate modal logic of provability
Interval Orders and Reverse Mathematics
Psychology and semantics: comments on Schiffer's "Intention-based semantics"
An extension of negationless logic
Beth's tableaux for relevant logic
On n-Dependence
Investigations on a comprehension axiom without negation in the defining propositional functions
The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable
Boolean Algebras in Visser Algebras
Does Ockham accept material implication?
A semantics for a weak free logic
A note on the completeness proof for natural deduction
Classical and Intuitionistic Models of Arithmetic
Concrete and abstract properties
A formal metasystem for Frege's semantics
Material equivalence and tautological entailment
A Supersimple Nonlow Theory
A note on primary and secondary syncategoremata
Mass Problems and Intuitionism
Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency
A detailed argument for the Post-Linial theorems
Meaningless Divisions
Wittgenstein versus Turing on the nature of Church's thesis
Relevance and disjunctive syllogism
On Coincidence of Dimensions in Closed Ordered Differential Fields
Structural Weakening and Paradoxes
Alternative completeness theorems for modal systems
Weierstrass's final theorem of arithmetic is not final
Apodictic truth: Husserl's eidetic reduction versus induction
Illative combinatory logic without equality as a primitive predicate
Some notes on iterated forcing with 2 ℵ 0 >ℵ 2
A complete classification of three-place functors in two-valued logic
The cosubstitution condition
Czeżowski on wild quantity
An Inner Model Proof of the Strong Partition Property for δ 2 1
Remarks on the linguistics foundations of physics
Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules
An extension algebra and the modal system T
A Note about the Axioms for Branching-Time Logic
BCK and BCI Logics, Condensed Detachment and the 2-Property
Constructing ω-stable Structures: Rank k -fields
On Closed Elementary Cuts in Recursively Saturated Models of Peano Arithmetic
A refoundation of modal logic
A note on regressive isols
On Elementary Equivalence for Equality-free Logic
Intensional Paradoxes
Generalizing Montague's Theorem on Recursive Definitions
Consecutive Singular Cardinals and the Continuum Function
Non-Classical Syllogistic Inference and the Method of Resolution
On Cofinal Extensions of Models of Fragments of Arithmetic
Levi Contractions and AGM Contractions: a Comparison
Towards an axiomatization of value theory
Secondary extensions, meanings and non-null terms
A final note on S1° and the Brouwerian axioms
A modal logic with temporal variables
Set-valued set theory. I
Inaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence
The logic of closed categories
A paradox regained
Remarks on the W. C. Nemitz's paper "Semi-Boolean lattices"
A species-algebraic interpretation of the intuitionistic propositional calculus
A calculus of individuals based on "connection"
Set Theory With and Without Urelements and Categories of Interpretations
Context logic. I. Fundamental concepts, notations, and derived notions
The middle term
Peirce's development of quantifiers and of predicate logic
Errata: "On the single axioms of the protothetic. I."
The logic of essentially ordered causes
Bimodal Logics with a "Weakly Connected" Component without the Finite Model Property
The algebra of relatives
The Hanf numbers of stationary logic II: Comparison with other logics
Investigations into the sentential calculus with identity
Constructing sequent rules for generalized propositional logics
A modification of Parry's analytic implication
Bounded Martin's Maximum with an Asterisk
Presupposition and entailment
Recursive and recursively enumerable manifolds. II
On substitution for variable one-place functors
The K -Degrees, Low for K Degrees, and Weakly Low for K Sets
Are enthymemes arguments?
Meaning and interpretation
On Interpretations of Bounded Arithmetic and Bounded Set Theory
Propositional Logic of Imperfect Information: Foundations and Applications
Collapsing Modalities
De Finetti Coherence and Logical Consistency
Λ-elimination in illative combinatory logic
A decision procedure for positive implication
On two first order type theories for the theory of sets
Uniformly Bounded Arrays and Mutually Algebraic Structures
Game-theoretical semantics: insights and prospects
Linear Reducts of the Complex Field
Degrees of Categoricity and the Hyperarithmetic Hierarchy
The First-Order Syntax of Variadic Functions
Two views of variables
A substitution property
Subcountability under realizability
Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle
Higher quantity syllogisms
Ordinal theory in a conservative extension of predicate calculus
On the Maximality of Some Pairs of p-t Degrees
Axiomatization of propositional calculus with Sheffer functors
Pleasant Ideals
Concerning the proper axioms of S4.02
From preference to utility: a problem of descriptive set theory
Some remarks on Geach's predicative and attributive adjectives
A Single-Sorted Theory of Multisets
Infinite Sets of Nonequivalent Modalities
Combining Algebraizable Logics
Propositional Logic of Supposition and Assertion
The Usual Model Construction for NFU Preserves Information
Contributions to syntax, semantics, and the philosophy of science
Simple implicational development
Quine on the inscrutability and relativity of reference
Real Reduced Models for Relevant Logics without WI
On the equivalence between the calculi MC ν and EC ν+1 of A. Bressan
Correction of the semantics for S4.03 and a note on literal disjunctive symmetry
Partial Functions in Type Theory
A note concerning the many-valued propositional calculi
On De Morgan's argument
A note on initial segment constructions in recursively saturated models of arithmetic
On Formalization of Model-Theoretic Proofs of Gödel's Theorems
On Partial and Paraconsistent Logics
An Isomorphism Between Rings and Groups
Models of Th(<ω ω ,<>)
Order-Computable Sets
Locality for Classical Logic
The completeness of S1 and some related systems
Powers of 2
Variable binding term operators in λ-calculus
Note on Extending Congruential Modal Logics
Frege on truth and reference
Solutions to four modal problems of Sobociński
The Set of Restricted Complex Exponents for Expansions of the Reals
The connective of necessity of modal logic S5 is metalogical
Resolution and the consistency of analysis
A simplified decision procedure for categorical syllogisms
On a conservative attitude toward some naive semantic principles
Lambda-calculus terms that reduce to themselves
Sommers' proof that something exists
Decidable Fragments of the Simple Theory of Types with Infinity and NF
Mathematico-philosophical remarks on new theorems analogous to the fundamental theorem of arithmetic
Two notes on Ackermann's set theory
Leśniewski's ontology and some medieval logicians
Semantics for S4.03
Combinatorial designs on infinite sets
Formatives
Remarks on classification of theories by their complete extensions
Referential involvements of number words
Failure of Interpolation in Combined Modal Logics
A Tableau Style Proof System for Two Paraconsistent Logics
Mildness and the Density of Rational Points on Certain Transcendental Curves
Near coherence of filters. I. Cofinal equivalence of models of arithmetic
A result of extending Bochvar's 3-valued logic
What Problem Did Ladd-Franklin (Think She) Solve(d)?
The Fruits of Logicism
'Good' defined in terms of 'better'
New Consecution Calculi for R t ->
Boolean subtractive algebras
In so many possible worlds
The substitution schema in recursive arithmetic
On infinite matrices and the paradoxes of material implication
The substitution interpretation and the expressive power of intensional logics
Propositional calculus in implication and non-equivalence
On defining sentential connectives
On differences of certain structured sets
Completeness of an ecthetic syllogistic
α-naming and α-speedup theorems
Concerning the proper axiom for S4.04 and some related systems
A rationale for Aristotle's notion of perfect syllogisms
Notes on the Model Theory of DeMorgan Logics
A class of models for intermediate logics
Decidability of ∃ * ∀∀-sentences in HF
Sequent Calculi for Visser's Propositional Logics
Unifying Some Modifications of the Henkin Construction
A Reverse Analysis of the Sylvester-Gallai Theorem
Some observations on a method of McKinsey
On a recent allotment of probabilities to open and closed sentences
A note on a lemma of J. W. Addison
A semi-lattice theoretical characterization of associative Newman algebras
The Boolean Spectrum of an o-Minimal Theory
The logic of either-or
A theorem of Sierpiński on triads and the axiom of choice
The intensionality of the predicate '_ is recursive'
Duals of Smullyan trees
Generalized equivalence and the phraseology of configuration theorems
The Nonabsoluteness of Model Existence in Uncountable Cardinals for L ω 1 ,ω
Read on relevance: a rejoinder
Two modes of deductive inference
Lattice Ordered O-Minimal Structures
Solving functional equations at higher types: some examples and some theorems
Indice de vérité, fonctions implicationnelles accessibles, recensement des thèses
Some proofs of relative completeness in modal logic
A pair of nonisomorphic ≡ ∞λ models of power λ for λ singular with λ ω =λ
Subsystems of Quine's "New Foundations" with Predicativity Restrictions
On the Freyd cover of a topos
A New Semantics for Positive Modal Logic
Automorphisms of Countable Short Recursively Saturated Models of PA
A theorem on S4.2 and S4.4
Addenda and corrigenda to: "The published work of Kurt Gödel: an annotated bibliography"
An answer to Armstrong's question about incompleteness in Copi: "A question about incompleteness"
Algèbre et logique tripolaire
Disarming a Paradox of Validity
On the existence of polynomial time algorithms for interpolation problems in propositional logic
On two immediate inferences by limitation
A note on the axiom of choice in Leśniewski's ontology
Leibniz's syllogistico-propositional calculus
New algorithms for the statement and class calculi
One dimension in PS and PSI
A Modal Analog for Glivenko's Theorem and its Applications
Pure numerical Boolean syllogisms
Independence, Relative Randomness, and PA Degrees
In memoriam: Evert Willem Beth (1909-1964)
Rank Functions and Partial Stability Spectra for Tame Abstract Elementary Classes
More on d-Logics of Subspaces of the Rational Numbers
An axiomatization of predicate functor logic
Note on the singularies of S5
Computing Verisimilitude
A note on modal systems
Definable partitions and reflection properties for regular cardinals
A Lemma in the Logic of Action
Logics of Relative Identity
A note on universally free description theory
Euclidean Functions of Computable Euclidean Domains
Measurable cardinals and constructibility without regularity
L'ordre d'incomplètitude pour le système d'équivalence la négation et la réciprocité
A theorem concerning a restricted rule of substitution in the field of propositional calculi. II
Foundational problems of number theory
Recursive and recursively enumerable manifolds. I
The Ω-system and the Ł-system of modal logic
The Homogeneous Form of Logic Programs with Equality
A remark on note on duality
His burning pants
Leśniewski's terminological explanations as recursive concepts
Unsolvable problems for equational theories
Church's Thesis and the Conceptual Analysis of Computability
Geach on atomicity and singular propositions
The confiramtion of sentences by instances with different truth-values of its atoms
Truth-value semantics for a logic of existence
A short equational axiomatization of modular ortholattices
Σ 1 1 -Completeness of a Fragment of the Theory of Trees With Subtree Relation
Errata: "Copi's method of deduction again"
Formal Notes on the Substitutional Analysis of Logical Consequence
Alternative axiomatizations of elementary probability theory
Polymorphism and Apartness
Model constructions in stationary logic. II. Definable ultrapowers
Phase Transition Results for Three Ramsey-Like Theorems
"Pathologies" in Two Syntactic Categories of Partial Maps
On induction
Model Companions of T Aut for Stable T
Some notes on syllogistic in the sixteenth and seventeenth centuries
Introduction to Life, Art, and Mysticism
Errata: "Decision procedures for Lewis system S1 and related modal systems"
Principia Mathematica description theory: the classical and an alternative notation
S 1 ≠ S0.9
Deduction theorems in significance logics
Stationary logic and its friends. I
The Finitistic Consistency of Heck's Predicative Fregean System
Axioms for tense logic. I. "Since" and "until"
S5 with the CBF
On Interpretations of Arithmetic and Set Theory
Negation, material equivalence, and conditioned nonconjunction: completeness and duality
Errata: "Note on G. J. Massey's closure-algebraic operation"
Classifying Pairs of Equivalence Relations
The Role of Quantifier Alternations in Cut Elimination
The Sum of Irreducible Fractions with Consecutive Denominators Is Never an Integer in PA -
An incompleteness theorem for conditional logic
Arithmetic operations on ordinals
Open Texture and Mathematics
Nested Sequents for Intuitionistic Logics
Structural rules of inference
Non-recursiveness of the set of finite sets of equations whose theories are one-based
Quantifier responsiveness
Solutions of five modal problems of Sobociński
Note on Frege's Begriffsschrift
Motivation and Demotivation of a Four-Valued Logic
Generalized S2-like systems of propositional modal logic
On generating the finitely satisfiable formulas
A Multidimensional Modal Translation for a Formal System Motivated by Situation Semantics
On a passage of Aristotle
Substructural Fuzzy-Relevance Logic
An Unclassifiable Unidimensional Theory without OTOP
A decision procedure for Fitch's propositional calculus
A stronger form of a theorem of Friedberg
Infinite Computations with Random Oracles
Inconsistent number systems
The pragmatics of first order languages. I
Investigations into Quantified Modal Logic
Broadening the Iterative Conception of Set
On Lovely Pairs and the (∃ y ∈ P ) Quantifier
The principle of the division into four figures in traditional logic
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories
Careful choices - a last word on Borel selectors
Book Review: Mark van Atten. On Brouwer
Significance, necessity, and verification
On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus
Constructive Logic and the Medvedev Lattice
Provable Fixed Points in I Δ 0 + Ω 1
The construction of a Steiner triple system on sets of the power of the continuum without the axiom of choice
Remarks on Special Lattices and Related Constructive Logics with Strong Negation
Expressiveness and Completeness of an Interval Tense Logic
Concerning an alleged Sheffer function
The relation of weakly discrete to set and equinumerosity in mereology
Extensional equivalence of simple and general utilitarian principles
A correction to my paper "A sole sufficient operator"
Generalized ordinal notation
Frege's permutation argument
The Thin Set Theorem for Pairs Implies DNR
A note on contrariety
A first-order logic of knowledge and belief with identity. II
Logical truth and indeterminacy
A Note on Gabriel Uzquiano's "Varieties of Indefinite Extensibility"
General computability
Internal Categoricity in Arithmetic and Set Theory
Notes on Modal Definability
The modular latticoids
A Topological Approach to Yablo's Paradox
Hyperimmunity in 2 ℕ
Neo-Fregeanism: An Embarrassment of Riches
Fifty years of self-reference in arithmetic
A note on the axiom of choice and the continuum hypothesis
Correcting the tableau procedure for S4
John Buridan on the liar: a study and reconstruction
Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap
A Problem in Pythagorean Arithmetic
Generalization in first-order logic
Extensionality in Bernays set theory
A second-order axiomatic theory of strings
A note on omitting the replacement schema
Belief Revision and Verisimilitude
Studies in the axiomatic foundations of Boolean algebra. III
Propositional Quantification in the Topological Semantics for S4
Infinite series of regressive isols under addition
Theory of objects and set theory: introduction and semantics
Algebraic independence in an infinite Steiner triple system
Restriction by Noncontraction
A model-theoretic explication of the theses of Kuhn and Whorf
On Superstable Expansions of Free Abelian Groups
A note on the "carving up content" principle of Frege's theory of sense
On the independence of certain axioms in the definition of an m-arrangement
Russell, Logicism, and the Choice of Logical Constants
Algebraic semantics for S2 0 and necessitated extensions
Implication connectives in orthomodular lattices
Varieties of Indefinite Extensibility
Isometry Groups of Borel Randomizations
Minimal doxastic logic: probabilistic and other completeness theorems
Lesniewski's Strategy and Modal Logic
Degrees of partial functions
More logics without tautologies
Scott's models and illative combinatory logic
Strong reducibility on hypersimple sets
Łukasiewicz's twin possibility functors
On a family of paradoxes
Expansions of Ultrahomogeneous Graphs
Sequent Calculi for Intuitionistic Gödel-Löb Logic
Two remarks on: The logic of significance and context. Vol. I [Halsted, New York, 1973]
An unsolvable provability problem for one variable groupoid equations
Validity in intensional languages: a new approach
The class of neat-reducts of cylindric algebras is not a variety but is closed with respect to HP
An Intensional Schrödinger Logic
A new axiomatization of modal system K1.2
Book Review: Kit Fine. The Limits of Abstraction
A note on self-referential statements
Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras
William of Sherwood on propositions and their parts
Inclosures, Vagueness, and Self-Reference
Set-theoretical Invariance Criteria for Logicality
Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness
Some Results and Problems on Complex Germs with Definable Mittag-Leffler Stars
Leśniewski and Frege on collective classes
K1, K2 and related modal systems
Near Coherence of Filters III: A Simplified Consistency Proof
The 3-Stratifiable Theorems of NFU ∞
A Decidable Temporal Logic of Parallelism
Indiscernibles, EM-Types, and Ramsey Classes of Trees
Propositional logic in the sixteenth and early seventeenth centuries
Mindful logic: how to resolve some paradoxes of identity
The eliminability of the actuality operator in propositional modal logic
Pure Second-Order Logic
On power of singular cardinals
On characterizations of the first-order functional calculus
A study of some systems in the neighborhood of S4.4
The number of nonnormal extensions of S4
An axiomatization of Herzberger's 2-dimensional presuppositional semantics
Infinite Time Decidable Equivalence Relation Theory
The general decision problem for Markov algorithms with axiom
On the extensions of S5
Uncertainties over distribution dispelled
Two λ-extensions of the theory of homogeneous simple types as a second-order logic
Some Puzzles of Ground
Tennenbaum's Theorem and Unary Functions
Propositional and predicate calculuses based on combinatory logic
Axiom sets equivalent to syllogism and Peirce
A Constructivism Based on Classical Truth
Some Criteria for Acceptable Abstraction
Optics of Thought: Logic and Vision in Müller, Helmholtz, and Frege
A Silver-like Perfect Set Theorem with an Application to Borel Model Theory
Subintuitionistic Logics
A note on constructible sets of integers
On the number of nonisomorphic models in L INFINITY , κ when κ is weakly compact
Leśniewski's analysis of Russell's antinomy
Negation-Free and Contradiction-Free Proof of the Steiner-Lehmus Theorem
Stable Groups, Mostly of Finite Exponent
Some results concerning finite models for sentential calculi
Generalized quantifiers and the square of opposition
Randomness and Semimeasures
Erratum: "Donnelly on Geach"
The concept of logic
Dependent Choices and Weak Compactness
Elementary formal systems as a framework for relative recursion theory
Material implication in orthomodular (and Boolean) lattices
Note on the mortality problem for shift state trees
On Non-wellfounded Sets as Fixed Points of Substitutions
On modal renderings of intuitionistic propositional logic
Two comments on Lemmon's Beginning logic
Concrete Fibrations
On how best to make sense of Leśniewski's ontology
On Ackermann's theory of sets
R-mingle and beneath. Extensions of the Routley-Meyer semantics for R
A generalised propositional calculus
Modified strong reduction in combinatory logic
Frames versus minimally restricted structures
Completeness and Definability in the Logic of Noncontingency
Book review: Collected works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel
An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals
A theorem concerning a restricted rule of substitution in the field of propositional calculi. I
Dynamic Bracketing and Discourse Representation
Substitutions for predicate variables and functional variables
Another system of natural deduction
Some remarks on equivalence in infinitary and stationary logic
Some remarks on metaphysics and the modal logics F * F
Concerning some proposals for quantum logic
Corrections for my paper: "A model for Leśniewski's mereology in functions"
George Boolos
Modal Consequence Relations Extending S4.3: An Application of Projective Unification
Pledger lemma and the modal system S3đeg
A natural deduction system for modal logic
Lowness for Difference Tests
A unified approach to relative interpolation
A Constructive Valuation Semantics for Classical Logic
Simplifying the axioms of the predicate calculus
Refutation Calculi for Certain Intermediate Propositional Logics
A double-iteration property of Boolean functions
Specializing Aronszajn Trees with Strong Axiom A and Halving
The transitivity of implication in tree logic
Polyadic Quantification via Denoting Concepts
Semantics for S4.2
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras
Varying Modal Theories
The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 2
On Łukasiewicz's Ł-modal system
A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic
A Note on Generically Stable Measures and fsg Groups
Nonconstructive Properties of Well-Ordered T 2 topological Spaces
Functionals defined by recursion
Pure Second-Order Logic with Second-Order Identity
On the relationship between one-point frames and degrees of unsatisfiability of modal formulas
A relational representation of quasi-Boolean algebras
What does Ockham mean by 'supposition'?
The Laws of Distribution for Syllogisms
Large Cardinals, Inner Models, and Determinacy: An Introductory Overview
Generic Expansions of Countable Models
The existence postulate and non-regular systems of modal logic
The Embedding Theorem: Its Further Developments and Consequences. Part 1
Relevance and Paraconsistency - A New Approach, Part II: The Formal Systems
A proof of Sobociński's conjecture concerning a certain set of lattice-theoretical formulas
Sums of α-spaces
Definable Open Sets As Finite Unions of Definable Open Cells
On the equivalence of systems of rules and systems of axioms in illative combinatory logic
Tall Cardinals in Extender Models
On the Leibnizian modal system
A tableau system for propositional S5
Significance and illative combinatory logics
The Expressive Truth Conditions of Two-Valued Logic
Verification, Falsification, and Cancellation in KT
Predicate-functors and the limits of decidability in logic
A formal theory of sortal quantification
On the equivalence of proofs involving identity
New Operations on Orthomodular Lattices: "Disjunction" and "Conjunction" Induced by Mackey Decompositions
Reducts of the Random Bipartite Graph
Some Compactness Results for Modal Logic
Number theory for the ordinals with a new definition for multiplication
Notes on foundations. I
Syllogisms with reduplication in Aristotle
Some remarks about the family K of modal systems