Search Results - "Completeness theorem"

PROOF TRANSLATIONS BETWEEN LABEL-FREE AND LABELED SEQUENT CALCULI IN ISCI.

Authors: Galmiche, Didier Hornbeck, Brandon Méry, Daniel

Source: Bulletin of the Section of Logic. Jun2026, Vol. 55 Issue 2, p321-379. 59p.

REVISITING THE ADEQUACY THEOREM FOR FRAGMENTS OF LUKASIEWICZ LOGIC.

Authors: Peréz-Gaspar, Miguel Ramírez-Contreras, Juan Manuel Slagter, Juan Sebastián

Source: Bulletin of the Section of Logic. Jun2026, Vol. 55 Issue 2, p247-279. 33p.

QUARC and Classical Logic.

Authors: Raab, Jonas¹ (AUTHOR) JoRaab@gmail.com

Source: Studia Logica. Jun2026, Vol. 114 Issue 3, p741-779. 39p.

From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic.

Authors: Gheorghiu, Alexander V. Pym, David J.

Source: Studia Logica. Jun2026, Vol. 114 Issue 3, p581-613. 33p.

Is Stalnaker's Semantics Complete?

Authors: Kocurek, Alexander W.¹ (AUTHOR) akocurek@ucsd.edu

Source: Erkenntnis. Mar2026, Vol. 91 Issue 3, p1033-1041. 9p.

Implicational (dual) Residuated Semilinear Gaggle Logics.

Authors: YANG, EUNSUK¹ eunsyang@jbnu.ac.kr

Source: Journal of Multiple-Valued Logic & Soft Computing. 2025, Vol. 46 Issue 5/6, p419-438. 20p.

Subjects: Completeness theorem, Residuated lattices, Kripke semantics, Logic, Implication (Logic)

Completeness and Hereditary Transfer of Exactness Properties for Internal Group Objects in D-Modules.

Authors: Tang, Jian-Gang Liu, Miao Lei, Huangrui et al.

Source: Mathematics (2227-7390). Dec2025, Vol. 13 Issue 24, p4005. 27p.

ON REDUCTIONS OF HINTIKKA SETS FOR HIGHER-ORDER LOGIC.

Authors: STEEN, ALEXANDER BENZMÜLLER, CHRISTOPH

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Dec2025, Vol. 12 Issue 7, p1813-1833. 21p.

A complete tableau system for basic hybrid logic with propositional quantification.

Authors: Kofod, Julie Lundbak Blackburn, Patrick Braüner, Torben

Source: Logic Journal of the IGPL. Jun2026, Vol. 34 Issue 3, p1-22. 22p.

A fundamental completeness theorem for bivalent free logics.

Authors: Kupffer, Manfred¹ (AUTHOR)

Source: Logic Journal of the IGPL. Jun2026, Vol. 34 Issue 3, p1-20. 20p.

FROM HILBERT AXIOMS TO FRAME PROPERTIES IN MODAL LOGICS.

Authors: Jürgen Ohlbach, Hans

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Oct2025, Vol. 12 Issue 6, p1667-1674. 7p.

COMBINING TABLEAUX FOR COMBINATIONS OF LOGICS I. GENERIC FIBRING OF TABLEAUX.

Authors: GORANKO, VALENTIN¹ valentin.goranko@philosophy.su.se

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Oct2025, Vol. 12 Issue 6, p1559-1580. 22p.

On the weak completeness of a fragment of linear temporal logic.

Authors: Baratella, Stefano¹ (AUTHOR)

Source: Journal of Logic & Computation. Jul2025, Vol. 35 Issue 5, p1-12. 12p.

Subjects: Completeness theorem, Logic, Semantics methodology

Ivo G. Rosenberg’s Work on Maximal Clones and Minimal Clones.

Authors: SZENDREI, ÁGNES¹ szendrei@colorado.edu

Source: Journal of Multiple-Valued Logic & Soft Computing. 2025, Vol. 44 Issue 5/6, p539-600. 62p.

Subjects: Discrete mathematics, Completeness theorem, Computer science, Algebra, Logic

Notes on type-free axiomatic theories of positive truth.

Authors: Liu, Dawei Xiong, Wei

Source: Logic Journal of the IGPL. Feb2026, Vol. 34 Issue 1, p1-28. 28p.

Geometric theories in inquisitive modal logic.

Authors: Müller, Valentin¹ (AUTHOR)

Source: Journal of Logic & Computation. Apr2026, Vol. 36 Issue 3, p1-36. 36p.

Subjects: Modal logic, Completeness theorem, Axioms, Conditionals (Logic)

Proof theory of Abelian connexive logics.

Authors: Kamide, Norihiro¹ (AUTHOR) drnkamide08@kpd.biglobe.ne.jp

Source: Journal of Philosophical Logic. Jun2025, Vol. 54 Issue 3, p691-730. 40p.

Similarity operations on equality algebras.

Authors: Ghorbani, Sh.¹ sh.ghorbani@uk.ac.ir

Source: Journal of Algebraic Hyperstructures & Logical Algebras. Jun2025, Vol. 6 Issue 1, p171-186. 16p.

Infinity Approximation of Almost Periodic Functions: Stepanov's Approach and Its Utility in Semilinear Delayed Equations on Time Scales.

Authors: Arbi, Adnène Tahri, Najeh

Source: Mathematical Methods in the Applied Sciences. 5/30/2025, Vol. 48 Issue 8, p8518-8525. 8p.

A dissipative third-order boundary value problem with distributional potentials and eigenparameter-dependent boundary conditions.

Authors: Li, Fei-fan Ao, Ji-jun

Source: Electronic Research Archive. 2025, Vol. 33 Issue 5, p1-16. 16p.