yusuke1997/dblp-id-title huggingface dataset:
Zur semantischen Begründung der klassischen und der intuitionistischen Logik
Russell on the meaning of descriptions
Non-paradoxical paradoxes?
A system of quantificational deduction
On the Indecomposability of ω n
Complexity for Type-2 Relations
La science de la logique
A new axiomatization of Belnap's conditional assertion
A first order type theory for the theory of sets
The validity of disjunctive syllogism is not so easily proved
Some Syntactical Properties of Intermediate Predicate Logics
Studies in the axiomatic foundations of Boolean algebra. I
A story semantics for implication
Relevance and conformity
On the logic of contingent relevant implication: a conceptual incoherence in the intuitive interpretation of R
A note on Peirce on Boole's algebra of logic
A modal truth-tabular interpretation for necessary and sufficient conditons
Classical harmony
Definable Functions and Stratifications in Power-Bounded T -Convex Fields
Conditionally-restricted operations
Implicit Definability in Arithmetic
A theorem on maximal sets
The Vaught Conjecture: Do Uncountable Models Count?
A remark on Gentzen's calculus of sequents
Bases for S4 and S4.2 without added axioms
Antifoundation and Transitive Closure in the System of Zermelo
The distribution of terms: a defense of the traditional doctrine
Polynomially Bounded Recursive Realizability
The axiom of choice in topology
The irreducible generating sets of 2-place functions in the 2-valued logic
Predication and paronymous modifiers
Sets without Subsets of Higher Many-One Degree
Equivalence of Syllogisms
Ehrenfeucht's Lemma in Set Theory
Anderson's deontic logic and relevant implication
Generalized equivalence and the foundations of quasigroups
Turing projectability
Strong normalization for typed terms with surjective pairing
Sentential notations: unique decomposition
On Milliken-Taylor Ultrafilters
Formulas with two generalized quantifiers
Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality
Multimorphisms over enumerated sets
A stronger definition of a recursively infinite set
Lewis' postulate of existence disarmed
A note on an axiom-system of atomistic mereology
Remark on a logic of preference
Elementary Cuts in Saturated Models of Peano Arithmetic
Being Wrong: Logics for False Belief
Leśniewski und Mally
On the independence of the fundamental operations of the algebra of species
Normal form generation of S5 functions via truth functions
A set-theoretical formula equivalent to the axiom of choice
Note on Rescher's formalization of Aristotelian indeterminism
Cuppability of Simple and Hypersimple Sets
Expressibility in type theory
Note of the use of sequences in Logics and languages (Methuen, London, 1973)
Language and the having of concepts. I
A rare accident
Other and else : restrictions on quantifier domains in game-theoretical semantics
Locally Finite Reducts of Heyting Algebras and Canonical Formulas
The Difference Model of Voting
Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. II. Class forms
Incidence rings of pre-ordered sets
A new family of modal systems
A stronger theorem concerning the non-existence of combinatorial designs on infinite sets
Boolean algebroids
A Strengthening of Scott's ZF ≠ Result
The modal structure of the Prior-Rescher family of infinite product systems
The Consistency Strength of MP CCC (R)
Some considerations in medieval tense logic
An Approach to Uncertainty via Sets of Truth Values
Cut-free modal sequents for normal modal logics
Expressibility in two-dimensional languages for presupposition
A natural deduction system of indexical logic
Generalised logic
The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups
Is There a Modal Syllogistic?
Quantification, domains of discourse, and existence
Some Independence Results Related to the Kurepa Tree
Paradox-free deontic logics
The Parallel versus Branching Recurrences in Computability Logic
Iteratively Changing the Heights of Automorphism Towers
Metalogical incompatibilities in the formal description of Buddhist logic (Nyāya)
Abnormal worlds and the non-Lewis modal systems
On the First-Order Prefix Hierarchy
Possibility-elimination in natural deduction
An Analytic Calculus for the Intuitionistic Logic of Proofs
Intuitionism reconsidered
Probabilistic, truth-value, and standard semantics and the primacy of predicate logic
Characterizing the Join-Irreducible Medvedev Degrees
Regressive order-types
Natural Deduction Based upon Strict Implication for Normal Modal Logics
Constant Regions in Models of Arithmetic
Tame Expansions of ω-Stable Theories and Definable Groups
On a property of certain propositional formulae
On formalizing Aristotle's theory of modal syllogisms
Right-divisive groups
On Relativizing Kolmogorov's Absolute Probability Functions
A reduction procedure for Sheffer stroke formulas
Two sets of perfect syllogisms
Axiomatizing the Logic of Comparative Probability
On conserving positive logics
The strong future tense
Incompleteness via simple sets
Nonstandard Functional Interpretations and Categorical Models
Notes on foundations. II. On Galois connections
Principal congruences of tetravalent modal algebras
A note on propositional calculus
On Generalizations of a Theorem of Vaught
Incompleteness in Intuitionistic Metamathematics
A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice
Point-free Foundation of Geometry and Multivalued Logic
Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. I. Set forms
Correction to "Survey of generalizations of Urquhart semantics"
On probability logics
Semantics for S4.1.2
Π 1 -Encodability and Omniscient Reductions
A note on theses of the first-order functional calculus
Interpolation and Preservation in ML ω1
Independence of the Dual Axiom in Modal K with Primitive ◊
A System of Complete and Consistent Truth
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics
The programmatic semantics of binary predicator calculi
Many Normal Measures
A Note on Counterexamples to the Vaught Conjecture
A strong completeness theorem for 3-valued logic. II
Special Issue on Combining Logics - Editor's Introduction
A model in which every Kurepa Tree is thinck
A standard form for Łukasiewicz many-valued logics
Galvin's "Racing Pawns" Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle
A new proof of the compactness theorem for propositional logic
Number-theoretic set theories
Next P admissible sets are of cofinality ω
Introduction to the Special Issue on Singular Cardinals Combinatorics
On Defining Identity
NP-Completeness of a Combinator Optimization Problem
A characterization of a spherical m-arrangement
The axioms for latticoids and their associative extensions
Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions
Book review: S. Shelah, Classification Theory and the Number of Non-Isomorphic Models
The Ontology of Impossible Worlds
On the Consistency Strength of Two Choiceless Cardinal Patterns
Propositional logic in Plato's Protagoras
A new postulate-system for modular lattices
Well Ordered Subsets of Linearly Ordered Sets
The "conditionatim"-clause: one of the problems of existential import in the history of logic
Family K of the non-Lewis modal systems
Complete modalization in S4.4 and S4.0.4
A predicate logic based on indefinite description and two notions of identity
C. S. S. Peirce and E. G. A. Husserl on the nature of logic
Sums of finitely many ordinals of various kinds
Strict and material implication in the early sixteenth century
Decomposable collections of sets
Set-Mappings on Dedekind Sets
Additional extensions of S4
Classes of universal decision elements using negative substitutions
Axiomatisations of the modal calculus Q
Consequence and Confirmation
Four types of general recursive well-orderings
Comments on J. Hintikka's paper: "Game-theoretical semantics: insights and prospects"
Sur les conditions qui permettent d'utiliser les matrices russelliennes des antinomies (1905) pour exprimer les théorèmes de limitations internes des formalismes
The decidability of one-variable propositional calculi
On compactness in many-valued logic. I
Characterizing Model Completeness Among Mutually Algebraic Structures
A simple defense of material implication
Finiteness Axioms on Fragments of Intuitionistic Set Theory
The Modal Logic of Cluster-Decomposable Kripke Interpretations
Atomistic mereology. I
On certain lattices of degrees of interpretability
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing
Four-valued tables and modal logic
Reverse Mathematics and Fully Ordered Groups
Combinatory and propositional logic
Isomorphisms of Finite Cylindrical Set Algebras of Characteristic Zero
Arithmetic With Satisfaction
Strong Normalization and Typability with Intersection Types
The strong decidability of cut logics. II. Generalizations
On the Virtue of Categoricity
Effectiveness for the Dual Ramsey Theorem
On three related extensions of S4
Book Review: Ruth Barcan Marcus, Modalities, Oxford University Press, 1993
Normal derivability and first-order arithmetic
The Closed Fragment of the Interpretability Logic of PRA with a Constant for
On the Equivalence Conjecture for Proof-Theoretic Harmony
A calculus of matrical descriptors
A theory of categorical syllogism
Another way of diagramming switching circuits
Semi-monotone series of ordinals
The Semantics of Entailment Omega
Equational logic
A semantical account of the vicious circle principle
Ramsey's Theorem for Pairs and Provably Recursive Functions
A study of algebraic logic from the point of view of category theory
Some recent work on the assertoric syllogistic
Probabilistic semantics for intuitionistic logic
Validity and Satisfaction in Imperative Logic
The Logical Strength of Compositional Principles
Some extensions of S3
The dependence of mereological axiom
Real Closed Exponential Subfields of Pseudo-Exponential Fields
An extension of Venn diagrams
Why Ramify?
Quine on translational indeterminacy
Model theory of alternative rings
Modal trees: correction to a decision procedure for S5 (and T)
A Negation-free Proof of Cantor's Theorem
Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments?
Stable Forking and Imaginaries
Some preservation results for classical and intuitionistic satisfiability in Kripke models
E and S4
Premisses are not axioms
Note about the Boolean parts of the extended Boolean algebras
Finitary consistency of a free arithmetic
A note on Thomason's representation of S5
Examination of the axiomatic foundations of a theory of change. V
Metalogical cliches (proto-variables) and their restricted substitution in sixth century Buddhist logic
Awkward axiom-systems
Some results on quantifiers
Equational two axiom bases for Boolean algebras and some other lattice theories
Les propriétés du foncteur Nicod par rapport à le réciprocité et conjonction. II
Begriffsschrift 's Logic
Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive ω-Rule
Definable Types Over Banach Spaces
Π 0 1 Classes, Peano Arithmetic, Randomness, and Computable Domination
Solution to the problem concerning the Boolean bases for cylindric algebras
BCK is not Structurally Complete
Logical Constants and the Glory of Truth-Conditional Semantics
The Marker-Steinhorn Theorem via Definable Linear Orders
A Note on FDE "All the Way Up"
Uncomputably Noisy Ergodic Limits
Conceptual role and truth-conditions: comments on Harman's paper: "Conceptual role semantics"
Satisfiability in a larger domain
Some complete calculi of individuals
Belief Revision, Conditional Logic and Nonmonotonic Reasoning
Normal forms in modal logic
Classifying Dini's Theorem
Survey of generalizations of Urquhart semantics
A felicitous fragment of the predicate calculus
Modal systems in the neighbourhood of T
Does quotation sometimes permit substitution?
The pragmatics of truth functions
A Question about Suslin Trees and the Weak Square Hierarchy
Precisification by means of vague predicates
A theorem on recursively enumerable vector spaces
An elementary completeness proof for a system of natural deduction
Second order and higher order universal decision elements in m-valued logic
Ramsey Theory for Countable Binary Homogeneous Structures
A note on the truth-table for $p \supset q$
Book Review: Charles S. Chihara. A Structural Account of Mathematics
The rule of procedure Re in Łukasiewicz's many-valued propositional calculi
On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories
Individual concepts as propositional variables in ML ν+1
Generic Models of the Theory of Normal Z-Rings
Arithmetically Saturated Models of Arithmetic
Uniform Density in Lindenbaum Algebras
On Finite-Valued Propositional Logical Calculi
The rule of excision in positive implication
Critical points of normal functions. II
On identity and interchangeability in Leibnitz and Frege
PA(aa)
On a modal system of R. A. Bull's
A note on on the Gödel theorem
Refining the Taming of the Reverse Mathematics Zoo
On Polynomial-Time Relation Reducibility
Three axiom negation-alternation formulations of the truth-functional calculus
A standardization theorem for strong reduction
The geometry of solids in Hilbert spaces
Is epistemic logic possible?
The concept of n-cylinder and its relationship to simple sets
Completeness without the Barcan formula
The Modal Logic of Pure Provability
Decidability Results for Metric and Layered Temporal Logics
Compactness via prime semilattices
Relative Randomness and Cardinality
Boole's criteria for validity and invalidity
Van Lambalgen's Theorem and High Degrees
On an extension of a theorem of Friedberg
A New Conditional for Naive Truth Theory
Frege's Proof of Referentiality
Donnelly on Geach
Definable Continuous Solutions of Linear Equations
Partial Combinatory Algebras of Functions
Types in Abstract Elementary Classes
Thoroughly Relativistic Perspectives
A Note on Strongly Almost Disjoint Families
On symbolizing singulary S5 functions
Remarks on Purity of Methods
Deissler Rank Complexity of Powers of Indecomposable Injective Modules
Single axiom schemata for D and S
A new formalization of Newman algebra
A general propositional logic of conditionals
Les propriétés du foncteur Nicod par rapport à la réciprocité et conjonction. I
In memoriam: Clarence Irving Lewis (1883-1964)
Relevance and Paraconsistency - A New Approach, Part III: Cut-Free Gentzen-Type Systems
A semantical analysis of the calculi C n
Characterizing von Neumann Regular Rings in Reverse Mathematics
On the Borel classification of the isomorphism class of a countable model
Note on Supervenience and Definability
Language as existent
∈ I : An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity
An "almost classical" period-based tense logic
Combinatorial systems with axiom
The Expressive Power of Second-Order Propositional Modal Logic
Does IPC have a binary indigenous Sheffer function?
A note on Turing machine regularity and primitive recursion
Analytic implication
The Categoricity Spectrum of Pseudo-elementary Classes
A formalization of "nothing"
Reverse Mathematics and the Coloring Number of Graphs
Degrees of isolic theories
Frege's Other Program
Supercompactness Can Be Equiconsistent with Measurability
A patching lemma
Two formal systems for situation semantics
Singular/general
Modus tollens
Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections
A three-valued free logic for presuppositional languages
Some embedding theorems for modal logic
A generalised Kleene-Rosser paradox for a system containing the combinator K
Finite Kripke models of HA are locally PA
Extensions of T 0
A property which guarantees termination in weak combinatory logic and subtree replacement systems
A note on P -admissible sets with urelements
Erratum: "Concerning the proper axiom for S4.04 and some related systems"
Every quotient algebra for C 1 is trivial
The Craig interpolation lemma
An abbreviation of Croisot's axiom-system for distributive lattices with I
Gentzen systems for modal logic
Prime spectrum of a tetravalent modal algebra
A Syntactic Approach to Maksimova's Principle of Variable Separation for some Substructural Logics
The minimal System L' 0
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
Existence and identity in quantified modal logics
A formal characterization of ordinal numbers
SCE-Cell Decomposition and OCP in Weakly O-Minimal Structures
On the interpretability of arithmetic in set theory
A note on continuous games, the notion of strategy and Zermelo's axiom
A note on intuitionistic models of ZF
What Evidence is There that 2 65536 is a Natural Number?
Decision for K4
A Basic System of Congruential-to-Monotone Bimodal Logic and Two of its Extensions
Completeness of the algebra of species
Ways Things Can't Be
Zur Frage der Existenzvoraussetzungen in der Logik
Connexive Restricted Quantification
The Complexity of Primes in Computable Unique Factorization Domains
Note to my paper: "A diagram of the functors of the two-valued propositional calculus"
Prior's criticism of the Barcan formula
On the formalization of two modal theses
Variations in definition of ultraproducts of a family of first order relational structures
A note on the principle of predication
The product of implication and counter-implication systems
Hyperreal-Valued Probability Measures Approximating a Real-Valued Measure
Some defninitions of subjunctive implication, of counterfactual implication, and of related concepts
A simplification procedure for alternational normal schemata
The Menger algebras of 2-place functions in the 2-valued logic
On Absoluteness of Categoricity in Abstract Elementary Classes
Introduction to Logicism and the Paradoxes: A Reappraisal
Propositions as premises of syllogisms in medieval logic
Erratum: "Modal system S3 and the proper axioms of S4.02 and S4.04"
Binary closure-algebraic operations that are functionally complete
Categoricity Spectra for Rigid Structures
Questions and Dependency in Intuitionistic Logic
Kripke's deontic semantics again
A proper subsystem of S4.O4.
Passages between finite and infinite
Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case
A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree
A note on Newman's algebraic systems
Note about Łukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus
A note on the axiomatizations of certain modal systems
The pragmatics of monadic quantification
Stable Ramsey's Theorem and Measure
Embeddings of Computable Structures
Reflections on Church's thesis
Logical consequence in modal logic: Natural deduction in S5
Note on Copi's system
The two logics: traditional and modern
George Boole's Deductive System
Degrees of Relative Provability
Objects and Existence: Reflections on Free Logic
Six new sets of independent axioms for distributive lattices with O and I
The logic of free acts and the powers of God
Tame Topology over dp-Minimal Structures
Nonstandard probability
More about Thoughts
On Yablonskii theory concerning functional completeness of k-valued logic
Martin-Löf Randomness Implies Multiple Recurrence in Effectively Closed Sets
Consistency of n-order logics
A set of axioms for the propositional calculus with implication and converse non-implication
Pathologies in the ed-regressive sets of order 2
Permutation Models and SVC
A note on pseudo doubly creative pairs
Expressive Logics for Coalgebras via Terminal Sequence Induction
The method of possibility-diagrams for testing the validity of certain types of inferences, based on Jevons' logical alphabet
Semantics for contingent identity systems
Quantifier Elimination for a Class of Intuitionistic Theories
A Quasi-Discursive System ND 2 +
Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn
An independent statement about metric spaces
Recognizable algebras of formulas
Non-Fregean Propositional Logic with Quantifiers
An alternative to Brian Skyrms' approach to the Liar
The Eu Approach to Formalizing Euclid: A Response to "On the Inconsistency of Mumma's Eu"
Book Review: Paolo Mancuso. Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century
An exposition of Shelah's "main gap": counting uncountable models of ω-stable and superstable theories
Strange arguments
Why Correspondence Truth Will Not Go Away
Negative Membership
Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups
Leibniz's misunderstanding of Nisolius notion of 'multudino'
Homeomorphism and the Equivalence of Logical Systems
The Gödel-Herbrand theorems
Some examples of different methods of formal proofs with generalizations of the satisfiability definition
Reasoning with Sentences and Diagrams
Club Guessing and the Universal Models
Partial Up and Down Logic
The completeness of Copi's system of natural deduction
Semantical considerations on modal counterfactual logic with corollaries on decidability, completeness, and consistency questions
A Simplification of the Completeness Proofs for Guaspari and Solovay's R
Rules and Arithmetics
Nueva demostracion de la completicidad funcional del calculo proposicional bivalente
Dual Gaggle Semantics for Entailment
Concrete computability
Theory of procedures. I. Simple conditionals
Errata: "A note on transitivity"
Note on a strong liberated modal logic and its relevance to possible world skepticism
Les algèbres de Heyting-Brouwer et de Łukasiewicz trivalentes
A simplified semantics for modal logic
On the generalized Brouwerian axioms
On Existence in Set Theory, Part II: Relative Productivity
Models for Modal Syllogisms
Stationary logic and its friends. II
The Decidability of the ∀ * ∃ Class and the Axiom of Foundation
Two systems of presupposition logic
For so many individuals
On an enduring non sequitur of Quine's
Multiset Theory
There Are No Maximal Low D.C.E. Degrees
Incompleteness of a logic of Routley's
In defense of Copi
Recursive models for three-valued propositional calculi with classical implication
Minimal Non-contingency Logic
Beyond nonnormal possible worlds
On the propositional system A of Vučković and its extension. II
On Cofinal Submodels and Elementary Interstices
Ordinal Exponentiations of Sets
De re and de dicto
Finite and Physical Modalities
In memoriam: Wilhelm Ackermann (1896-1962)
Subtractive abelian groups
Around Silver's Theorem
On Sequentially Compact Subspaces of ℝ without the Axiom of Choice
A note on arbitrarily complex recursive functions
Fractal Patterns in Reasoning
Ein nichtkonstruktiver Beweis des ersten ε-theorems
Refining Temporal Reference in Event Structures
Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension
On Nachbin's characterization of a Boolean lattice
Peirce's paradoxical solution to the Liar's Paradox
A matrix decision procedure for three modal logics
New axioms for mereology
An examination of the influence of Boole's algebra on Peirce's developments in logic
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi
A Nonstandard Counterpart of WWKL
On the real logical structure of Lewis' independent proof
Some Open Problems in Mutual Stationarity Involving Inner Model Theory: A Commentary
Cylindrical decision problems for system functions
Career induction for quantifiers
A note on evaluation mappings
Almost Hugeness and a Related Notion
Analogous characterizations of finite and isolated sets
Quine on an alleged non sequitur
Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus
Conceptual role semantics
The rationalist conception of logic
Complexity of the r-query Tautologies in the Presence of a Generic Oracle
Formalizing the Logic of Positive, Comparative, and Superlative
AE (Aristotle-Euler) Diagrams: An Alternative Complete Method for the Categorical Syllogism
The missing premiss
Syntactic Preservation Theorems for Intuitionistic Predicate Logic
A Simple Proof and Some Difficult Examples for Hindman's Theorem
Nice implicational axioms
Errata: An extension algebra and the modal system T