- Hybrid Deduction-Refutation Systems for FDE-Based Logics
- Relevant Arithmetic and Mathematical Pluralism
- “A Smack of Irrelevance” in Inconsistent Mathematics?
- On Not Saying What We Shouldn’t Have to Say
- Arithmetic Formulated in a Logic of Meaning Containment
- Consistency and Decidability in Some Paraconsistent Arithmetics
- Remark on Relevant Arithmetic
- Episodes in Model-Theoretic Xenology: Rationals as Positive Integers in R#
- Inconsistent Models for Relevant Arithmetics
- Alien Intruders in Relevant Arithmetic
- The Consistency of Arithmetic
- Arithmetic Formulated Relevantly
- Relevant Arithmetic
- Robert Meyer’s Publications on Relevant Arithmetic
- On Elementary Embeddings and the Covering Lemma
- The Strict/Tolerant Family Continued: Quantifiers and Modalities
- Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes
- Some Interrelations between Geometry and Modal Logic
- Immune Logics ain’t that Immune
- Minimally many-valued maximally paraconsistent minimal unary subclassical expansions of LP
- Hybrid deduction-refutation systems for FDE-based logics
- First-Order Logic with Adverbs
- Empty Logics
- A note on Cantor’s diagonal argument
- Attitudes and Duals
- ON LOCAL FIELDS IN GENERAL CASE
- Keep All Your Textbooks
- Distinctness, Contingentism, and the First-Order Being Constraint
- Logic as a (Natural) Science
- A Note on a Paradox
- A Note on Split-Negations and Negative Translations
- Anti-Exceptional Logic for Radical Empiricists
- Is Logical Modality Normal?
- Substitution in tableaux systems and possible world semantics for relevant logics
- Frege’s Theorem in Plural Logic
- On the expressibility of Paris-Harrington Principle in the Language of Arithmetic
- The Negative Disjunction Property
- Bilateralism, Logical Constants, and The Consequence Relation
- Anselm’s God in Isabelle/HOL
- Relevance via decomposition: a project, some results, an open question
- Noneism—Where Quine meets Meinong
- Surreal limits and real numbers
- A THREE VALUED DYNAMIC LOGIC FOR BELIEF REVISION
- PHIL: A Logic for Contingentism
- Is There a Neutral Metalanguage?
- Paraconsistent Weak Kleene: Plurivalent Logics, Analetheism and Dialetheism
- Computing Prime Implicates in Modal Logic by Direct Resolution
- Three Ways of Being Non-Material
- Higher-Order Skolem’s Paradoxes and the Practice of Mathematics; a Note
- Topological Beth model and its application to functionals of high types
- The Birth of Dialetheism
- Generalized Topological Semantics for Weak Modal Logics
- Higher-Order Expressivism and the Logical Constants
- From Collapse Theorems to Proof-Theoretic Arguments
- Paraconsistent resolution
- Non-Aristotelian Interpretations of Classical Logic
- Gluon Theory: The Unified Unifiers
- Defusing an Antinomy to its Incompatible Hypodox
- What is identical?
- Minimal-Inconsistency Tolerant Logics: A Quantitative Approach
- Towards World Identification in Description Logics
- FITCH NATURAL DEDUCTION AND PARADOX
- On the Overlap Between Everything and Nothing
- A variation on the theme of logic of rational agent
- Are Godel’s Incompleteness Theorems Falsifiable?
- Realism and AntiRealism are both true (and false)
- Schemes, Ordinal Functions, and Repeat Points
- On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
- On On the Concept of Individuum in Schröder
- Can All Things Be Counted?
- Model Theory, Arithmetic & Algebraic Geometry
- A logic of temporal contingency without propositional constants
- Some remarks on the explanatory value of proof-theoretic semantics for constructive reasoning
- Evans’ Argument and Vague Objects
- Fixed-point models for semantic paradoxes
- A Logic With Three Negations
- Wistful for Compositional Semantics
- “Development in Tuth Tables and logical operators 3 D placement of logical elements Extensions of Boolean Algebra “
- Plausible Causal Reasoning: A New Approach to Causal Non-monotonic Reasoning
- Models of Relevant Arithmetic
- Either Kleene or not Clean
- A formal proof of logical compatibility of God’s existence, omnipotence, and omnipresence in a logically formalized axiomatic epistemology theory called Sigma under the condition that knowledge is a-priori one
- Does a classical truth logically ground its double negation?
- Takeuti’s Well-ordering Proof
- On falsifying empirical contradictions
- On the Possibility of Metaphysical Dialetheism
- Necessity Elimination
- Omitting types in finite variable fragments of first order logic
- Possibility Frames and Forcing for Modal Logic
- Axioms for a Logic of Consequential Counterfactuals
- A snag in Cantor’s paradise
- The liar and the bivalence of states of affairs
- Logical Rules in Dialogue
- SYMBOLIC LOGIC, MATHEMATICAL ETHICS, AND MATHEMATICAL THEOLOGY
- Some Paradoxes in Set Theory Arising from Actual Infinity Concept. Cantor’s Method Revisited.
- The Validity of Induction
- The Modal Logic of Probabilistic Certainty
- WITHDRAWN: The Modal Logic of Probabilistic Certainty
- Harmony, Normality and Stability
- Barriers to Paraconsistent Implication
- Resolving Insolubilia: Internal Inconsistency and the Reform of Naïve Set Comprehension: An Addendum
- Number Systems Based On Logical Calculus
- The Real Logic of Individuals
- The D-Completeness of T→’
- Oppositions in a line segment
- Strong Depth Relevance
- The propositional truth scheme
- Axiomatic Classes of Graded Models
- A Quiet Defense of Restricted Quantification
- Logical Pluralism and Logical Relativism
- A Reduced Upper Bound for an Edge-coloring Problem from Relation Algebra
- Toulmin’s logical types
- IMPLICATION HILBERT ALGEBRA
- On Principle of Alphabetic Innocence
- The adequacy of LP: trivial dialetheism and relative dialetheism
- Logic as reasoning: On the government of Logic and mathematics
- On Beall’s new interpretation of $WK_{3}$
- Improvement On Operator Axioms And Fundamental Operator Functions
- Showing Uncountability of the Countables by means of Some Diagonalization Argument
- Cosmogonical solution of the existence/nonexistence paradox
- ON THE COMPUTABILITY OF HUMAN MATHEMATICS
- Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics
- A negation-free axiomatisation of arithmetic
- The Metaphysical Significance of the Ugly Duckling Theorem
- Two Temporal Logics of Contingency
- An extended version of Curry’s paradox
- Revision theory’s modal logic
- Formal Logic and ordinary language
- Logic is a Moral Science
- Stream-based valuations for circular propositions
- A (Basis for a) Philosophy of a Theory of Fuzzy Computation
- Weakly reverse isotone mappings of relational systems
- Supervaluationism, Laziness and Constructive Logic
- Information Flow in Logics in the Vicinity of BB
- Immune Logics
- Ehrenfeucht-Fraïssé games without identity