yusuke1997/dblp-id-title huggingface dataset:
Disjoint n-Amalgamation and Pseudofinite Countably Categorical Theories
Comment on J. A. Fodor's "Cognitive science and the twin-Earth problem"
First-order logics for comparative similarity
Indiscernible Extraction and Morley Sequences
A Natural Deduction System for First Degree Entailment
A propositional calculus intermediate between the minimal calculus and the classical
Approximation Logic and Strong Bunge Algebra
A modal logic ε-calculus
Erratum: "An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice"
A Model of R 2 3 inside a Subexponential Time Resource
Deductive inferences from particular to general
The one variable implicational calculus
Rejection and Truth-Value Gaps
A note concerning the axiom of choice
Shortest Axiomatizations of Implicational S4 and S5
Semigroups in Stable Structures
Arithmetic as a study of formal systems
On the Origin and Status of our Conception of Number
Axiomatic, sequenzen-kalkul, and subordinate proof versions of S9
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains
Eternal existence and necessary existence
Many-one degrees associated with partial propositional calculi
Upward Stability Transfer for Tame Abstract Elementary Classes
Equational postulates for the Sheffer stroke
Recursive Models and the Divisibility Poset
On the logic of "few", "many", and "most"
A Characterization of Permutation Models in Terms of Forcing
On the methodology of possible worlds semantics. I. Correspondence theory
Shortest single axioms for the classical equivalential calculus
On purely relevant logics
Simultaneous versus successive quantification
An equational axiomatization of associative Newman algebras
Natural Deduction in Normal Modal Logic
Plantinga's theory of proper names
Conventionalist and contingency-oriented modal logics
The interpretability of Robinson arithmentic in the rafified second-order theory of dense linear order
A reduction in the number of independent axiom schemata for S4
Sur les axiomes de Götlind
Examination of the axiomatic foundations of a theory of change. I
Short Proofs for Slow Consistency
The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem
Invertible definitions
On the Decidability of Axiomatized Mereotopological Theories
Duality in finite many-valued logic
Kripke Completeness of Infinitary Predicate Multimodal Logics
A criticism of Sommers' language tree
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields
S4.1.4=S4.1.2 and S4.021=S4.04
Reflexive Intermediate First-Order Logics
A note on natural deduction in many-valued logic
Logical continuity
Reconstructing formal logic: Further developments and considerations
Universal variable non-Tarskian functors
Uniform Short Proofs for Classical Theorems
The closing passage of Frege's "Über Sinn und Bedeutung"
Bibliography of Ivo Thomas
Referential occurrence
Eine modelltheoretische Präzisierung der Wittgensteinschen Bildtheorie
A New Proof of the Fixed-Point Theorem of Probability Logic
An extended joint consistency theorem for free logic with equality
Notes on the mathematical aspects of Kripke's theory of truth
An Old Friend Revisited: Countable Models of ω-Stable Theories
Canonization of Smooth Equivalence Relations on Infinite-Dimensional E 0 -Large Products
A theorem on n-tuples which is equivalent to the well-ordering theorem
Times in Tense Logic
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle
A Family of Neighborhood Contingency Logics
S1° and generalized S5-axioms
Temporal modalities and the future
Induction, Constructivity, and Grounding
Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach
Pseudofiniteness in Hrushovski Constructions
Erratum: "On the theory of inconsistent formal systems"
Intended model theory
A Smart Child of Peano's
Set Mappings on 4-Tuples
Self-Embeddings of Computable Trees
More on trees and finite satisfiability: the taming of terms
A theorem on Hartogs' alephs
The modal status of antinomies
Decision problem in the classical logic
General models of set theory
A Structurally Complete Fragment of Relevant Logic
Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem
Approximate Similarities and Poincaré Paradox
Logic without tautologies
Recursive equivalence types on recursive manifolds
Infinitely p-Divisible Points on Abelian Varieties Defined over Function Fields of Characteristic p > 0
Gödel's proof and the liar paradox
Notes on the axiomatics of the propositional calculus
Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics
Theory Revision and Probability
Truth and the Liar in De Morgan-Valued Models
Superinductive classes in class-set theory
Some Results on Intermediate Constructive Logics
A short equational axiomatization of orthomodular lattices
Relevance: a fallacy?
Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie
The Modal Logic of Agreement and Noncontingency
The modalities of KT4 nMG
Various systems of set theory based on combinatory logic
Note on Zeman's modal system S4.04
Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions
On a Consistent Subsystem of Frege's Grundgesetze
Some systems of natural deduction
A note on Philip Kitscher's analysis of mathematical truths
A generalization of combinatorial operators
The modal predicate logics PF * F
On Ramsey's theorem and the axiom of choice
The Logic of the Liar from the Standpoint of the Aristotelian Syllogistic
A simple proof of functional completeness in many-valued logics based on Łukasiewicz's C and N
Decision procedures for Lewis system S1 and related modal systems
Erratum: "A formal characterization of ordinal numbers"
Some thomistic properties of primordiality
Matters of separation
Avicenna on the logic of "conditional" propositions
Maximality and Refutability
Implicationless wffs. in IC
A Sound and Complete Proof Theory for Propositional Logical Contingencies
n-polar logic of classes
The decision problem for linear temporal logic
Indestructible Strong Unfoldability
Projective bigraphs with recursive operations
Partially generic formulas in arithmetic
The simple consistency of a set theory based on the logic CSQ
More Notions of Forcing Add a Souslin Tree
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic
A note on transitivity
Baire Categoricity and Σ 0 1 -Induction
Causality, Modality, and Explanation
On begging the question "Who is N?"
Some mereological models
Comparing Borel Reducibility and Depth of an omega-Stable Theory
Expressive Completeness and Decidability
Peirce on the nature of logic
Functional Dependence in Strategic Games
Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness
Anshakov-Rychkov Algebras
Language and the having of concepts. II
A note on the arithmetical hierarchy
Sur une propriété de préservation
A note on independence
Some completeness results for intermediate propositional logics
A model-theoretic semantics for modal logic
The one-one equivalence of some general combinatorial decision problems
A proof of the Löwenheim-Skolem theorem
A question about incompleteness
Modal Logics in the Vicinity of S1
Hilbert's Tenth Problem for Rings of Rational Functions
Consistent, independent, and distinct propositions. III. Modalities in S6
Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal Assumptions
Elementary Propositions and Independence
Finite model property for five modal calculi in the neighbourhood of S3
Probability theory, intuitionism, semantics, and the Dutch book argument
Independent necessary conditions for functional completeness in m-valued logic
An Anselmian regress
The Theory of κ-like Models of Arithmetic
Dp-Minimality: Basic Facts and Examples
In memoriam: Ivo Thomas (1912-1976)
Aristotle on predication: an analysis of Anal. Post. 83a
Epistemic set theory
Kripke-type semantics for da Costa's paraconsistent logic C ω
An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras
Sums of at least 9 ordinals
Bochvar-McCarthy Logic and Process Algebra
Erratum: "On the equivalence of strong and weak validity of rule schemes in the two-valued of rule schemes in the two-valued propositional calculus"
Frege's New Science
Modal interpretations of three-valued logics. II
The logic of intending and believing
Book Review: Geraldine Brady. From Peirce to Skolem: A Neglected Chapter in the History of Logic
The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility
Analyticity and analytical truth
A note on the roots on Peirce's division of logic into three branches
Alternative notations for Principia Mathematica description theory: possible modifications
Modal logics with two kinds of necessity and possibility
Complexity of model-theoretic notions
Universality for Orders and Graphs Which Omit Large Substructures
More Fragments of Language
Necessity and some non-modal propositional calculi
Forking in Finite Models
On the Proofs of Arithmetical Completeness for Interpretability Logic
Formally defined operations in Kripke models
KM and the finite model property
The expected complexity of analytic tableaux analyses in propositional calculus
General Frames for Relevant Modal Logics
In memoriam: Carew Arthur Meredith (1904-1976)
From Classical to Intuitionistic Probability
Sommers on empty domains and existence
A Functional Partial Semantics for Intensional Logic
An axiom-system for {K;N}-propositional calculus related to Simons' axiomatization of S3
Syllogistic inference within the propositional calculus
Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917-1957
Field on the Notion of Consistency
RMLC: solution to a problem left open by Lemmon
A formal interpretation of Łukasiewicz' logics
Vaught's Conjecture Without Equality
How to stop talking to tortoises
Forcing with Sequences of Models of Two Types
The published work of Kurt Gödel: an annotated bibliography
On the logic of continuous algebras
A characterization of S m by means of topological geometries
On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory
Models as Universes
Free S5 algebras
Über Intensionen und Modalitäten
A compendium of C. S. Peirce's 1866-1885 work
Modal system S4.4
The ancestral relation without classes
Circular demonstration and von Wright-Geach entailment
Frequencies and beliefs
Mechanizing logic. I. Map logic extended formally to relational arguments
Book Review: J. P. Mayberry. Foundations of Mathematics in the Theory of Sets
Duality and Completeness for US-Logics
Thin Ultrafilters
Logical Constants Across Varying Types
Automorphisms of Homogeneous Structures
The Formalities of Temporaryism without Presentness
An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice
An axiomatization of the equivalential fragment of the three-valued logic of Lukasiewicz
Errata: "Investigations into the sentential calculus with identity"
The Hanf number of stationary logic
Are modal contexts referentially opaque?
Intermediate Quantifiers Versus Percentages
Characters and Fixed Points in Provability Logic
Systems classically axiomatized and properly contained in Lewis's S3
A Covering Lemma for HOD of K (ℝ)
Second-Order Logic of Paradox
The Aristotelian Continuum. A Formal Characterization
A philosophical remark on Gödel's unprovability of consistency proof
The possibility of a conditional logic
A new look at erotetic communication
Tableau methods of proof for modal logics
A note on ℝ -> matrices
Classical Logic, Intuitionistic Logic and the Peirce Rule
Some Post-complete extensions of S2 and S3
On strengthening intuitionistic logic
The bearer of ontological commitment
Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses
Π 1 1 Wellfounded Relations
LD-Algebras Beyond I0
Generalization of a result of Halldén
Intuitionistic negation
Semantical Characterizations for Irreflexive and Generalized Modal Languages
The Gentzen-Kripke construction of the intermediate logic LQ
Point monads and P-closed spaces
An Algebraic Theory of Structured Objects
On General Boundedness and Dominating Cardinals
Possibility pre-supposition free logics
The Completeness of Provable Realizability
Erratum: "Some results concerning finite models for sentential calculi"
A note on certain set-theoretical formulas
Adequacy Results for Some Priorean Modal Propositional Logics
Obligation dérivée et logique déontique relationnelle. Remarques sur le système de G. H. von Wright et sur le développement de la logique déontique
Do we need quantification?
A note on the generalized continuum hypothesis. II
A single axiom for the mereological notion of proper part
Ekman's Paradox
Existential import revisited
A semi-completeness theorem
Tense trees: a tree system for K t
First degree formulas in Curry's LD
On Pseudo-Finite Dimensions
On proving functional incompleteness in symbolic logic classes
Material implication and entailment
Information and Impossibilities
A Long Pseudo-Comparison of Premice in L[x]
Combinators and Categorial Grammar
On the relation between free description theories and standard quantification theory
On the Question "Do we Need Indentity?"
Isomorphism of Homogeneous Structures
C 1 Is Not Algebraizable
Closed Maximality Principles and Generalized Baire Spaces
Dunn-Priest Quotients of Many-Valued Structures
Bounds on Weak Scattering
O-propositions and Ockham's theory of supposition
Kripke's axiomatization of S2
Reconciling Aristotle and Frege
Unification on Subvarieties of Pseudocomplemented Distributive Lattices
Sind die deontischen Funktoren distributiv?
A note on satisfaction classes
Involution as a basis for propositional calculi
A diagram of the functors of the two-valued propositional calculus
On the independence of the Bigos-Kalmár axioms for sentential calculus
Implicit Definability of Subfields
The Gödel theorem
Axiomatics for implication
Degrees That Are Not Degrees of Categoricity
Modal logic with functorial variables and a contingent constant
A note on a consistency proof
Real fields with characterization of the natural numbers
Nominalization and Scott's domains. II
On propositional quantifiers in provability logic
Common sense in semantics
A Sequent- or Tableau-style System for Lewis's Counterfactual Logic VC
Introduction to the Special Issue on Vaught's Conjecture
Gentzen-like systems for partial propositional calculi. I
α-models and the systems T and T *
California semantics meets the great fact
An Extension of van Lambalgen's Theorem to Infinitely Many Relative 1-Random Reals
A property of sentences that define quasi-order
A characterization of logical consequence in quantification theory
Generalizability of the propositional and predicate calculi to infinite-valued calculi
On Interpretability in the Theory of Concatenation
Syllogistic with complex terms
A complete system of indexical logic
Truth value assignment in predicate calculus of first order
Witnessing Dp-Rank
A new axiomatization of the mixed associative Newman algebras
S3.02=S3.03
A Diophantine Definition of Rational Integers over Some Rings of Algebraic Numbers
Supervaluations and Tarski
Simplified Lower Bounds for Propositional Proofs
On Bounded Type-Definable Equivalence Relations
Terminal functors permissible with syllogistic
Set-valued set theory. II
Is It Possible that Belief Isn't Necessary?
Three existence principles in a modal calculus without descriptions contained in A. Bressan's MC ν
Partition Principles and Infinite Sums of Cardinal Numbers
Equivalents of a weak axiom of choice
Noncategorical syllogisms in the Analytics
dp-Rank and Forbidden Configurations
On Π 1 0 Classes and their Ranked Points
Are we finite?
A Diamond Principle Consistent with AD
Syntax and Semantics of the Logic L λ ωω
The Arithmetics of a Theory
Concerning some extensions of S4
Tolerance geometry
Monads for regular and normal spaces
De quelques problèmes de la logique médiévale
Single Axioms for the Left Group and the Right Group Calculi
Discourse between processes
The adequacy of material dialogue-games
A Propositional Theory of Truth
On the number of overlapping subsets of a set
The fundamental S-theorem - a corollary
The logic of the synthetic a priori
A formal system
A note on immune sets
Isomorphisms of ω-groups
Postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions
A system of modality
Recursive Surreal Numbers
A Logic for Natural Language
On relevantly derivable disjunctions
Enumeration 1-Genericity in the Local Enumeration Degrees
Invariant Version of Cardinality Quantifiers in Superstable Theories
Is the intuitionistic bar-induction a constructive principle?
Leśniewski's analysis of Whitehead's theory of events
Vapnik-Chervonenkis Density in Some Theories without the Independence Property, II
On the nonaxiomatizability of some logics by finitely many schemas
Pseudofinite and Pseudocompact Metric Structures
Peeking at the Impossible
The finite model property for MIPQ and some consequences
An unsolvable problem concerning identities
A model-theoretic account of confirmation
Concerning some cylindric algebra versions of the downward Löwenheim-Skolem theorem
Decidability and Completeness for Open Formulas of Membership Theories
Paraconsistency Everywhere
A study of Z modal systems
A mistake in Copi's discussion of completeness
Operational semantics for positive R
A Simple Embedding of T into Double S5
A Note on Induction, Abstraction, and Dedekind-Finiteness
Submodels and definable points in models of Peano arithmetic
The square of opposition
A shorter proof of a recent result by R. Di Paola
Packing Index of Subsets in Polish Groups
Local recursive theory
Basic Predicate Calculus
Truth Table Logic, with a Survey of Embeddability Results
A note on the axiomatization of Rubin's system (S)
An Incompleteness Theorem for Modal Relevant Logics
Ostrowski Numeration Systems, Addition, and Finite Automata
On the eliminability of de re modalities in some systems
The problem of counterpossibles
The completeness of an intensional logic: definite topological logic
On the single axioms of protothetic. III
K and Z
On G. Spencer Brown's laws of form
Compactness in abstractions of Post algebras
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices
Book Review: Stewart Shapiro. Philosophy of Mathematics: Structure and Ontology
Remarks on Structure Theorems for ω 1 -Saturated Models
The treatment of semantic paradoxes from 1400 to 1700
A completeness proof for C-calculus
A new variant of the Gödel-Mal'cev theorem for the classical propositional calculus and correction to my paper: "The connective of necessity of modal logic S 5 is metalogical"
Regular Ultrapowers at Regular Cardinals
Introduction to Special Issue on George S. Boolos
First-Order Modal Logic with an 'Actually' Operator
Levels of Uniformity
Equivalent versions of a weak form of the axiom of choice
McCawley and logic
Linear Diagrams for Syllogisms (with Relatitonals)
Modal systems in which necessity is "factorable"
Syllogistic without existence
Necessitas consequentis in a singleton possible world
Uniformization Problems and the Cofinality of the Infinite Symmetric Group
Approximation to a decision procedure for the halting problem
Models for Inconsistent and Incomplete Differential Calculus
A contribution to the axiomatization of Lewis' system S5
The ideal of orderable subsets of a set
On logic an existence
Aristotle on the subject of predication
Quantum logic with implication
Syllogisms with statistical quantifiers
A Minimal Predicative Set Theory
Epistemic logic with identifiers
On recursive transcendence
Normal implications, bounded posets, and the existence of meets
Finite Axiomatizability and Theories with Trivial Algebraic Closure
On the brink of a paradox?
Commutativity of generalized ordinals
The Logic of Turing Progressions
The approaches to set theory
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω
Eventualy Periodicity and "One-Dimensional" Queries
On the possibility of epistemic logic
Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point
Matrix satisfiability and axiomatization
On unsolvability in subrecursive classes of predicates
Apodeictic Ecthesis
Provably recursive real numbers
What Russell learned from Peano
Four Problems Concerning Recursively Saturated Models of Arithmetic
On some models of modal logics
Corrigendum to my paper: "Recognizable algebras of formulas"
A note on finite intermediate logics
Errata: "Studies in the axiomatic foundations of Boolean algebra. I."
An ambiguity in modal logic
Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics
A Variant of Thomason's First-Order Logic CF Based on Situations
A stipulation of a modal propositional calculus in terms of modalized truth-values
Notes on Cardinals That Are Characterizable by a Complete (Scott) Sentence
An economy in the formation rules for quantification theory
Errata: Three set-theoretical formulas
Andreas Kesler and the later theory of consequence
Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than Necessity
Intermediate Quantifiers for Finch's Proportions
On Meredith's sole positive axiom
Definability of Initial Segments
Inexact geometry
Connection Structures
Minimally Congruential Contexts: Observations and Questions on Embedding E in K
Creative definitions in propositional calculi
The logical concept of existence
An axiom system for three-valued Łukasiewicz propositional calculus
A modal extension of intuitionist logic
A paradox in illative combinatory logic
Sémantique des formules logiques en forme d'équivalence n-aire (demi-modèles)
Who's Afraid of Impossible Worlds?
The logic of relative modality and the paradoxes of deontic logic
Corrigendum to "Diagonalization and the Recursion Theorem"
A note on the adequacy of translations
A theory of translation and transformation of languages
The necessity of the past and modal-tense logic incompleteness
An addendum to my paper: "A categorical equivalence of proofs"
Induction on fields of binary relations
The Irrelevance of Distribution for the Syllogism
Objects: A Study in Kantian Formal Epistemology
Critical points of normal functions. I
A more relevant relevance logic
The Nonaxiomatizability of L(Q 2 ℵ 1 ) by Finitely Many Schemata
Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint
On some recent criticism of Church's Thesis
On the Ramsey Test without Triviality
Residue Field Domination in Real Closed Valued Fields
A Remark on Henkin Sentences and Their Contraries
Decision Procedures for Logics of Consequential Implication
Models Omitting Given Complete Types
ε-calculus based axiom systems for some propositional modal logics
On Interpretability of Almost Linear Orderings
Infima in the Recursively Enumerable Weak Truth Table Degrees
Book Review: Scott Soames. Understanding Truth
Topic and consequences in Ockham's logic
The Nyāya on double negation
Embedding and Coding below a 1-Generic Degree
Gentzenizing Schroeder-Heister's Natural Extension of Natural Deduction
Grundgesetze der Arithmetik I: Paragraphen 29-32
Sylvan's Box: a Short Story and Ten Morals
A sole sufficient operator
Significance range theory
Reducing the effort for systematic reviews in software engineering
Electrocardiogram arrhythmia detection with novel signal processing and persistent homology-derived predictors
A formalization of one of the main claims of "The cancer glycocalyx mechanically primes integrin-mediated growth and survival" by Paszek et al. 20141
Arangopipe, a tool for machine learning meta-data management
The knowledge graph as the default data model for learning on heterogeneous knowledge
Deep learning based network similarity for model selection
Reinforcement learning for personalization: A systematic literature review
Editorial: Special Issue on Scholarly Data Analysis (Semantics, Analytics, Visualisation)
Towards FAIR principles for research software