Unorthodox Algebras and Their Associated Logics (abstract)

Reading Newton's "De Analysi" by hyperfinite sums (abstract)

Bridging Classical and Modern Approaches to Thales' Theorem: From Euclidean Proportion to Automated Theorem Proving (abstract)

Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic (abstract)

Intuitionistic natural deduction with a general collapse rule and its propositions-as-types interpretation (abstract)

Intuitionistic K: Proofs, Countermodels and Simulation (abstract)

Continua of logcs for negation below in intuitionistic logic (abstract)

Proof surgeries in non-classical logics (abstract)

Weak Extensions and Free Logic: a Proof-Theoretic Case Study (abstract)

Normalisation for Negative Free Logic with Definite Descriptions (abstract)

Probability Logics for Reasoning About Measuring Quantum Observations on the spaces with innite dimension (abstract)

A nonclassical theory of sets and functions: advancing the foundations of mathematics (abstract)

Twist Sequent Calculi for S4 and its Neighbors (abstract)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents (abstract)

Semi-Substructural Logics à la Lambek (abstract)

Complexity of Nonassociative Lambek Calculus with classical logic (abstract)

CEGAR-Tableaux: Improved modal satisfiability for modal and tense logics (abstract)

Sequent Calculi for Logics of Classes (abstract)

A Theory of Definite Descriptions (abstract)

Modal logic with definite descriptions: complexity, bisimulation, and tableaux (abstract)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions (abstract)

The disjunction-free fragment of D_2 is three-valued (abstract)

Kamide is in America, Moisil and Leitgeb are in Australia (abstract)

Modal Logics - RNmatrices vs. Nmatrices (abstract)

Many-Valued Modal Logic (abstract)

Logics for Strategic Reasoning about Socially Interacting Rational Agents (abstract)

A note on Grigoriev and Zaitsev's system CNL^2_4 (abstract)

The power of generalized Clemens semantics (abstract)

Two Cases of Deduction with Descriptions and Partiality (abstract)

Incomplete descriptions and qualified definiteness (abstract)

Proof theory for Epstein’s logics of content relationship (abstract)

Cut-elimination for non-Fregean logic WB and some of its consequences (abstract)

Decision procedure for PLTL via the method of Socratic proofs (abstract)

Socratic Proofs for Propositional Linear-Time Temporal Logic (abstract)

Hypersequent Calculi for Propositional Linear-Time Temporal Logic (abstract)

There are unknown intuitionistic truths (at least in some intuitionistic models) (abstract)

Mapping Probability with Logic: First Order Models in Puzzle Solving (abstract)

A Case for Weak Kleene ST (abstract)

A Unified Gentzen-style Framework for Until-free LTL (abstract)

Unified Gentzen Approach to Connexive Logics over Wansing's C (abstract)

Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms (abstract)

Tree Sequent Calculus for Modal Logic MB (abstract)

Agent-Knowledge Logic for Alternative Epistemic Logic (abstract)

A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic (abstract)

Algebraic Completeness and Semantic Cut-Elimination of a Multimodal Formulation of Morrrill's Categorial Logic (abstract)

An interpretation of McCall’s CC1 (abstract)

A simulation of connexive logic based on pair sentential calculus (abstract)

Formalization of the Chysippus conditional (abstract)

What medieval logicians have to say about the basic principles of connexive logic (abstract)

Current topics in Boolean connexive logic (abstract)

Another Constructive Motivation for Some Connexive Logics (abstract)

From Wansing's falsity conditio to connexive logic

How classical connexive logic can be? (abstract)

Connexive Counterpart Theory (abstract)

On the history and motivations of connexive logic (abstract)

Queer feminist views on contradictory logics: A symbiotic relationship (abstract)

Non-classical conditionals and connexivity (abstract)