yusuke1997/dblp-id-title huggingface dataset:
Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic
An alternative semantics for knowledge
On a proper class and related matters
Closed Normal Subgroups of the Automorphism Group of a Saturated Model of Peano Arithmetic
Studies in the axiomatic foundations of Boolean algebra. II
Finite limitations on Dummet's LC
A Certain Conception of the Calculus of Rough Sets
The Block Relation in Computable Linear Orders
A second corrigendum to my paper: "Note on definitional reductions"
On Ideals Related to I [λ]
A Note on Naive Set Theory in LP
Axiomatic quasi-natural deduction
The Propositional Logic of Elementary Tasks
Propositional logic in Juan de Santo Tomás
The rule of Peirce
Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz
Mereology on Topological and Convergence Spaces
A deduction system for the full first-order predicate logic
On the Symmetric Enumeration Degrees
A substitution free axiom set for second order logic
A note on Conway multiplication of ordinals
Common Knowledge of Rationality in Extensive Games
A note on the Hanf number of second-order logic
Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change
Theories of types and ordered pairs
Predication in the Logic of Terms
A shortened proof of Sobociński's theorem concerning a restricted rule of substitution in the field of propositional calculi
The Field of LE-Series with a Nonstandard Analytic Structure
Second-order quantifiers and the complexity of theories
The shortest axioms of the implicational calculus
A note on E
Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion
On Gödel's proof that V=L implies the generalized continuum hypothesis
Book Review: Kurt Gödel. Collected Works , Volumes IV and V
The Complexity of Module Radicals
General Models and Entailment Semantics for Independence Logic
LK, LJ, Dual Intuitionistic Logic, and Quantum Logic
On syntactical characterization of logical expressions
Predicative Logic and Formal Arithmetic
Single axioms for atomistic and atomless mereology
Iteration One More Time
The Axiom Scheme of Acyclic Comprehension
On full cylindric set algebras
Some Results on Numerical Systems in lambda-Calculus
A Topos-Theoretic Approach to Reference and Modality
A theory of classes and individuals based on a 3-valued significance logic
Binary consistent choice on triples
Functoriality and Grammatical Role in Syllogisms
On the Insufficiency of Linear Diagrams for Syllogisms
A logical calculus of analogy involving functions of order 2
Creative sequences and double sequences
An automatic theorem prover for substitution and detachment systems
On the characterizability of the frames for the "unpreventability of the present and the past"
Leibnitz's preference for an intensional logic (A reply to Mr. Parkinson)
Venn diagrams extended: map logic
On the Elementary Theory of Restricted Real and Imaginary Parts of Holomorphic Functions
On propositional form
Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers
A note on some weak forms of the axiom of choise
A Simple Proof of Arithmetical Completeness for Π 1 -conservativity Logic
Quadratic residues and x 3 +y 3 =z 3 in models of IE 1 and IE 2
Past Probabilities
Adding Closed Unbounded Subsets of ω 2 with Finite Forcing
On the intuitionistic equivalential calculus
Justification by an Infinity of Conditional Probabilities
A recursive model for the extended system A of B. Sobociński
Minimal Satisfaction Classes with an Application to Rigid Models of Peano Arithmetic
Shorter development of an axiom
The ontological theorem
A rule-completeness theorem
Prospects for a Naive Theory of Classes
Commutativity and self-reference
Combinatorial operators and their quasi-inverses
Prospects for a Theory of Decycling
Logic, Logics, and Logicism
Omitting the replacement schema in recursive arithmetic
The consistency of the axioms of abstraction and extensionality in a three-valued logic
A Fully Logical Inductive Logic
Petrus Fonseca and material implication
A Revision-Theoretic Analysis of the Arithmetical Hierarchy
Analytica priora I, 38 and reduplication
Linguistic intuition and reductionism: comments on J. J. Katz's paper: "Common sense in semantics"
Decidability and Computability of Certain Torsion-Free Abelian Groups
Wittgenstein on Mathematical Meaningfulness, Decidability, and Application
Rudimentary Recursion, Gentle Functions and Provident Sets
A heuristic procedure for natural deduction derivations using reductio ad absurdum
An Open Formalism against Incompleteness
Another Characterization of Alephs: Decompositions of Hyperspace
Un critère simple
Henkin style completeness proofs in theories lacking negation
A note on the Q-topology
Dual-Intuitionistic Logic
A remark on continuous selectors
A Modal Logic of Supervenience
Note on a theorem of W. Sierpiński
A note on the structure of the power set
Isomorphism types of the hyperarithmetic sets H a
A note on the regular and irregular modal systems of Lewis
Fitch's Argument and Typing Knowledge
Zermelo, reductionism, and the philosophy of mathematics
Errata: "Axiomatic, sequenzen-kalkul, and subordinate proof versions of S9"
A Conjecture on Numeral Systems
Concerning the quantifier algebras in the sense of Pinter
Proof routines for the propositional calculus
Formal logic and formal ontology in Husserl's phenomenology
Indiscernability and Identiy in Probability Theory
Les algèbres de Heyting et de Lukasiewicz trivalentes
Topological Modal Logics Satisfying Finite Chain Conditions
On weak and strong validity of rules for the propositional calculus
Enumerations of Turing Ideals with Applications
A liberalized system of quantificational deduction
A binary Sheffer operator which does the work of quantifiers and sentential connectives
Definable Operators on Hilbert Spaces
Probabilistic considerations on modal semantics
The Fraenkel-Mostowski Method, Revisited
The Church-Rosser theorem for the typed λ-calculus with surjective pairing
The Shaping of Dedekind's Rigorous Mathematics: What Do Dedekind's Drafts Tell Us about His Ideal of Rigor?
Preliminary notes on a new modal syllogistic
Henkin's Completeness Proof: Forty Years Later
The Q-consistency of F 22
Self-implications in BCI
Elementary logic without referential quantification
End Extensions of Models of Arithmetic
A quaternary relation as the primitive notion in several geometries
Weak One-Basedness
Errata: "A completeness proof for C-calculus"
Speech Acts, Categoricity, and the Meanings of Logical Connectives
On predicate letter formulas which have no substitution instances provable in a first order language
Worlds of Homogeneous Artifacts
Actuality and Quantification
The Logic of Finite Order
The arithmetic of the term-relation number theory
Corrigendum to my paper: "A propositional calculus intermediate between the minimal calculus and the classical"
A Note on the Axiomatization of Equational Classes of n-Valued Lukasiewicz Algebras
On the consistency and independence of some set-theoretical axioms
Computable Models of Theories with Few Models
On prosleptic premisses
Erweiterte deontische Logik (EDL). Ein Versuch um weitere formale Ausbildung der deontischen Modallogik
Three theories of dialectic
Relational Semantics for Kleene Logic and Action Logic
Elementary extensions of recursively saturated models of arithmetic
Identities and indiscernibility
A Note on Majkic's Systems
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof
Book Review: Stewart Shapiro. Vagueness in Context
Some Logics Related to von Wright's Logic of Place
Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree
Self-conjugate functions on Boolean algebras
A note on the generalized continuum hypothesis. I
An analysis of the counterfactual conditional
A note to my paper: "On characterizations of the first-order functional calculus"
An Information-Based Theory of Conditionals
Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups
Some failures of interpolation in modal logic
Proof Nets for Classical Logic
Elementary Functions and LOOP Programs
A Natural Model of the Multiverse Axioms
Remarks on Frege's conception of inference
End Extensions of Normal Models of Open Induction
Modality as a meta-concept
Cellularity of Pseudo-Tree Algebras
Burgess on relevance: a fallacy indeed
Investigations in protothetic
The Principles of Interpretability
Structural Completeness in Fuzzy Logics
Actualism, Serious Actualism, and Quantified Modal Logic
Algebraicity and Implicit Definability in Set Theory
Doubly transitive sets
Programming the functions of formal logic
The numeral axioms
Two Hypergraph Theorems Equivalent to BPI
Direct analogues of the Sheffer stroke in m-valued logic
Cardinality and Acceptable Abstraction
Admissible sets and recursive equivalence types
Rank and Dimension in Difference-Differential Fields
Attributive names
Polynomials with computable coefficients
Frege's two senses of "is"
Syllogisms using "few", "many", and "most"
Set Theory with Indeterminacy of Identity
The Post-Lineal theorems for arbitrary recursively enumerable degrees of unsolvability
On the Strength of Ramsey's Theorem
A Note on the Modal and Temporal Logics for N-Dimensional Spacetime
Jacobson theory of ringoids
A Remark on Probabilistic Measures of Coherence
Deductive completeness and conditionalization in systems of weak implication
Effective extendability and fixed points
Effective inner product spaces
The Admissible Rules of BD 2 and GSc
Nondefinability of Rings of Integers in Most Algebraic Fields
Vector spaces and binary quantifiers
The Grounds for the Model-theoretic Account of the Logical Properties
On the single axioms of the protothetic. I
Ockham, suppositio , and modern logic
Logical Form and Radical Interpretation
Translation of the simple theory of types into a first order language
A Completed System for Robin Smith's Incomplete Ecthetic Syllogistic
Complementation in Representable Theories of Region-Based Space
The role of "Conceptual role semantics": comments on Harman's paper
The problem of existental import (From George Boole to P. F. Strawson
Modal logics with functional alternative relations
1-consistency and the diamond
On Hauber's statement of his theorem
A deductive argument with a specific premise and a general conclusion
Semantic intentions and linguistic structure: comments on Schiffer's paper: "Intention-based semantics"
Non-empty complex terms
A Kripkean Approach to Unknowability and Truth
A correction in Copi's account of Boolean normal forms
Incomplete translations of complete logics
Indenumerability and substitutional quantification
Łukasiewicz, Leibniz and the arithmetization of the syllogism
Algebraic logic with generalized quantifiers
On extensions of L ωω (Q 1)
Derivability Conditions on Rosser's Provability Predicates
A note on metaphysics and the foundations of mathematics
Weak Truth Table Degrees of Structures
A Henkin-style completeness proof for the pure implicational calculus
On the Degrees of Diagonal Sets and the Failure of the Analogue of a Theorem of Martin
Nominal Tense Logic
On an Unsound Proof of the Existence of Possible Worlds
Monadic Π 1 1 -Theories of Π 1 1 -Properties
Layered Posets and Kunen's Universal Collapse
Eventual permanence
Tarski on Logical Consequence
Type-Free Property Theory, Exemplification and Russell's Paradox
Semantics for S4.3.2
What Pierce means by leading principles
Relatively Diophantine correct models of arithmetic
Limits for Paraconsistent Calculi
Affine geometry with S. Dowdy's "trapezoid" as primitive
A Finitely Axiomatized Formalization of Predicate Calculus with Equality
A shortest single axiom for the classical equivalential calculus
Formal nonassociative number theory
Nominalism and conceptualism as predicative second-order theories of predication
Some Open Questions for Superatomic Boolean Algebras
A Deontic Counterpart of Lewis's S1
A basic free logic
Erratum: "A note on E"
Halldén Completeness for Relevant Modal Logics
A set of axioms for the propositional calculus with implication and non-equivalence
Inaccessible worlds
On the propositional system A of Vučković and its extension. I
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic
Metalogic of Intuitionistic Propositional Calculus
Semi-Isolation and the Strict Order Property
Semantics for Two Second-Order Logical Systems: =RRC * and Cocchiarella's RRC *
Variations on a Theme of Curry
Counting Functions
The Dual Cantor-Bernstein Theorem and the Partition Principle
A note on reflexiveness
Contrariety
Forking in modules
Which Modal Logic Is the Right One?
A more satisfactory description of the semantics of justification
Canjar Filters
Logic of antinomies
Inclosure and Intolerance
Further axiomatizations of the Łukasiewicz three-valued calculus
A General Concept of Being a Part of a Whole
Propositional Functions and Families of Types
The Distributivity on Bi-Approximation Semantics
Fitch-style rules for many modal logics
Self reference in formal languages
Toward a Model Theory for Transseries
Provability and Interpretability Logics with Restricted Realizations
Aggregating subjective probabilities: some limitative theorems
Incomplete definite descriptions
The Logic of Conditional Negation
A semantics model for imperatives
The continuum hypothesis is independent of second-order ZF
Relative Speration Theorems for L κ+κ
Consequential implication. A correction to: "Decision procedures for logics of consequential implication"
A deduction theorem for restricted generality
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic
Partial universal decision elements
On not strengthening intuitionistic logic
Classifications of Computable Structures
On certain normalizable natural deduction formulations of some propositional intermediate logics
First-order theories as many-sorted algebras
Classifying the Branching Degrees in the Medvedev Lattice of Π 0 1 Classes
Conjunctive normal forms and weak modal logics without the axiom of necessity
A set-theoretic model for nonassociative number theory
Kripke on contingent a priori truths
A simplified natural deduction approach to certain modal systems
Modal elaborations of propositional logics
A calculus of antinomies
Book Review: John P. Burgess and Gideon Rose. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics
Abstraction and Set Theory
A simple proof of Herbrand's theorem
Negation disarmed
Matrix calculi SS1M and SS1I compared with axiomatic systems
Variations on a thesis: intuitionism and computability
Finite Tree Property for First-Order Logic with Identity and Functions
A Tail Club Guessing Ideal Can Be Saturated without Being a Restriction of the Nonstationary Ideal
Abailard's theory of universals
Errata: "An equational axiomatization of associative Newman algebras"
Model theoretical investigation of theorem proving methods
Independence of Tarski's law in Henkin's propositional fragments
Multiple quantification and the use of special quantifiers in early sixteenth century logic
Information and association
Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas
Die Theorie der Umgangssprache als interpretierter Kompositkalkül
Sequential compactness and the axiom of choice
Periodicity of Negation
Copi's method of deduction
An Algebraic Approach to Subframe Logics. Modal Case
On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields
On a modal system of D. C. Makinson and B. Sobociński
Frege Meets Dedekind: A Neologicist Treatment of Real Analysis
Some Problems in Singular Cardinals Combinatorics
Variations on a theme of Bernays
Necessary and contingent deduction
A New Spectrum of Recursive Models
Worlds and Times
Description theory: critical defense of a Russellian approach
Sentential calculus for logical falsehoods
Frege's definition of number
On the infinity of positive logic
Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis
A generalized theorem concerning a restricted rule of substitution in the field of propositional calculi
Epistemic semantics for classical and intuitionistic logic
Complexity Ranks of Countable Models
Finite Sets and Natural Numbers in Intuitionistic TT
On the definition of mereological class
Une généralisation du carré logique
Finitary Set Theory
Studies on the axiom of comprehension
Rescher on 'e!'
Negation as a sign of negative judgment
The distribution of terms
A simple generalization of Turing computability
Word problems for bidirectional, single-premise Post systems
The form of Reductio ad Absurdum
A note on Bd X
A General Form of Relative Recursion
The nature of reflexive paradoxes. I
A reconstruction of formal logic
Correction to my paper "Some completeness results for intermediate propositional logics"
A contribution to the study of extended mereologies
Rethinking Quine's Argument on the Collapse of Modal Distinctions
A non-standard proof in the theory of integration
Information and circumstance
Doing logic by computer
Categorical Abstract Algebraic Logic: More on Protoalgebraicity
Subclasses of the Weakly Random Reals
Trees and finite satisfiability: proof of a conjecture of Burgess
Is the Dream Solution of the Continuum Hypothesis Attainable?
The Amalgamation Property in Normal Open Induction
Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants
Commutative recursive word arithmetic in the alphabet of prime numbers
Semi-intuitionistic set theory
Infima of recursively enumerable truth table degrees
Probabilistic Canonical Models for Partial Logics
The Price of Universality
Necessary truth as analyticity, and the eliminability of monadic de re formulas
Set Theory, Topology, and the Possibility of Junky Worlds
A model theoretic proof of Feferman's preservation theorem
Every functionally complete m-valued logic has a Post-complete axiomatization
Consistent, independent, and distinct propositions. II
Some elementary closure properties of n-cylinders
Some remarks on Quine's arguments against modal logic
Modularity and Relevant Logic
Nonreduction of Relations in the Gromov Space to Polish Actions
Unary predicates
A note on three-valued modal logic
Stability for Pairs of Equivalence Relations
On the possible number no(M)= the number of nonisomorphic models L INFINITY, λ -equivalent to M of power λ, for λ singular
The completeness of combinatory logic with discriminators
Wittgenstein on Russell's theory of types
More on Generic Dimension Groups
The non-existence of a certain combinatorial design on an infinite set
Levels of Truth
A note on natural deduction
Gentzen systems, resolution, and literal trees
Computing the Number of Types of Infinite Length
Limited universal and existential quantifiers in commutative partially ordered recursive arithmetics
Topological Models for Extensional Partial Set Theory
The syntax of projective geometry
Guessing, Mind-Changing, and the Second Ambiguous Class
Axiomatic inscriptional syntax. Part II. The syntax of protothetic
Examination of the axiomatic foundations of a theory of change. III
On the theory of inconsistent formal systems
Some exact equiconsistency results in set theory
Notes on Singular Cardinal Combinatorics
Algebraization, Transcendence, and D-Group Schemes
Primitivity in mereology. II
Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts
Nonstandard Models and Kripke's Proof of the Gödel Theorem
Nonstandard connectives of intuitionistic propositional logic
The Hypersimple-Free C.E. WTT Degrees Are Dense in the C.E. WTT Degrees
Parallel 1-flats in 2-arrangements
Lattices of Theories in Languages without Equality
Expansions of o-Minimal Structures by Iteration Sequences
Significant parts and identity of artifacts
Algebraic studies of first-order enlargements
Incompactness in regular cardinals
Simplified formalizations of fragments of the propositional calculus
A logic of belief
Extensionalizing Intensional Second-Order Logic
On Finite Models of Regular Identities
Maximal p-subgroups and the axiom of choice
Differences between Resource Bounded Degree Structures
Consequences, consistency, and independence in Boolean algebras
Coherence in category theory and the Church-Rosser property
Anderson's Relevant Deontic and Eubouliatic Systems
On certain incapacities claimed for logicians
Normal Numbers and Limit Computable Cantor Series
On the Status of Reflection and Conservativity in Replacement Theories of Truth
Semantics-based Nonmonotonic Inference
Selective and Ramsey Ultrafilters on G-spaces
Two axiom systems for relation algebras
Reverse Mathematics and Ramsey Properties of Partial Orderings
A note on Linsky's Referring
Book Review: The Taming of the True, by Neil Tennant
A simple formula equivalent to the axiom of choice
The binary representation of m-valued logic with applications to universal decision elements
Proof Mining in Topological Dynamics
A new condition for a modular lattice
Syntactic Refutations against Finite Models in Modal Logic
Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic
Two results in Leśniewski's mereology
An Effective Analysis of the Denjoy Rank
Note on the C-calculus
Wittgensteinian Predicate Logic
Halldén-completeness by gluing of Kripke frames
The Number of Countable Differentially Closed Fields
The contribution of Leśniewski
The Admissibility of γ in R4
Abstraction Principles and the Classification of Second-Order Equivalence Relations
Infinite Versions of Some Problems From Finite Complexity Theory
A reassessment of George Boole's theory of logic
Logic and the Discursive Intellect
On Amalgamation in NTP 2 Theories and Generically Simple Generics
Propositional connectives, supposition, and consequence in Paul of Pergola
A theorem for deriving consequences of the axiom of choice
A note on a weakened Goldbach-like conjecture
Growing Commas. A Study of Sequentiality and Concatenation
Semi-Boolean lattices
On Interpreting Thruth Tables and Relevant Truth Table Logic
Primitivity in mereology. I
Bolzano's Theory of Ground and Consequence
Logical consequence in modal logic. II. Some semantic systems for S4
Justification by Infinite Loops
A weak free logic with the existence sign
A note on subjunctive and counterfactual implication
Closed Categories and Categorial Grammar
Non-assertoric inference
Reasonable Ultrafilters, Again
Immunity and Hyperimmunity for Sets of Minimal Indices
Approximations and Logic
Walter Burleigh's hypothetical syllogistic
Examination of the axiomatic foundations of a theory of change. IV
Rule-Irredundancy and the Sequent Calculus for Core Logic
The Fixed Point Property in Modal Logic
Nonstandard propositional logics and their application to complexity theory
Depth of Boolean Algebras
Logical Constants as Punctuation Marks
Argument deletion without events
Certain formulas equivalent to the axiom of choice
Uniform Continuity Properties of Preference Relations
The Halting Problem Is Decidable on a Set of Asymptotic Probability One
Aristotle and a modern notion of predication
An intuitive interpretation of systems of four-valued logic
Relations irreducible to classes
Classification of Weak DeMorgan Algebras
Entailment and proof
A Probabilistic Semantics for Belief Logic
Noncontractive Classical Logic
Three-valued free tense logic
Strange Structures from Computable Model Theory
The Theory of Computability Developed in Terms of Satisfaction
The Logic of Non-contingency
Normal Forms in Combinatory Logic
Skolem fragments
Peter van Inwagen, Substitutional Quantification, and Ontological Commitment
Cofinalities of Countable Ultraproducts: The Existence Theorem
Note on inductive finiteness in mereology
The Mereotopology of Time
A concise method for translating propositional formulae containing the standard truth-functional connectives into a Sheffer stroke equivalent; plus an extension of the method
An Undecidable Linear Order That Is n-Decidable for All n
A Partition Theorem of ω ω α
The Lindenbaum construction and decidability
On a nonthesis of classical modal logic
On general purpose unifying automata
Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic
Weak forms of the axiom of constructibility
Why I am not a nominalist