Search Results - "Propositional calculus"

Algebraic Semantics for a Mixed Type Fragment of IPC.

Authors: Lipka, Eryk Słomczyńska, Katarzyna

Source: Studia Logica. Apr2026, Vol. 114 Issue 2, p237-261. 25p.

Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity.

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

Source: Journal of Logic & Computation. Jun2025, Vol. 35 Issue 4, p1-51. 51p.

Subjects: Propositional calculus, Calculi, Logic, Semantics, Automation

The higher dimensional propositional calculus.

Authors: Bucciarelli, A Curien, P-L Ledda, A et al.

Source: Logic Journal of the IGPL. Jun2025, Vol. 33 Issue 3, p1-29. 29p.

A logic with probabilistic Jaccard similarity.

Authors: Dabić, Maja Stojanović, Nenad Ikodinović, NebojŠa

Source: Journal of Logic & Computation. Mar2026, Vol. 36 Issue 2, p1-24. 24p.

Subjects: Propositional calculus, Decidability (Mathematical logic), Artificial intelligence, Axioms

A CL System for Propositions and Classes.

Authors: Lemanski, Jens Jansen, Ludger

Source: Erkenntnis; Apr2026, Vol. 91 Issue 4, p1553-1580, 28p

ON NP ∩ coNP PROOF COMPLEXITY GENERATORS.

Authors: KRAJÍČEK, JAN¹, jan.krajicek@protonmail.com

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-8, 8p

Probabilistic consequence relations.

Authors: Égré, Paul Ripley, Ellie

Source: Journal of Logic & Computation. Dec2025, Vol. 35 Issue 8, p1-29. 29p.

Subjects: Inference (Logic), Propositional calculus, Conditionals (Logic), Distribution (Probability theory)

Paradoxes versus Contradictions in Logic of Sentential Operators.

Authors: Walicki, Michał¹, Michal.Walicki@uib.no

Source: Logic & Logical Philosophy; Dec2025, Vol. 34 Issue 4, p631-674, 44p

Sequent Calculi for First-order ST.

Authors: Paoli, Francesco Přenosil, Adam

Source: Journal of Philosophical Logic. Oct2024, Vol. 53 Issue 5, p1291-1320. 30p.

ABOUT LOGICALLY PROBABLE SENTENCES.

Authors: Olszewski, Adam¹ adam.olszewski@upjp2.edu.pl

Source: Bulletin of the Section of Logic. Sep2024, Vol. 53 Issue 3, p365-397. 33p.

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.

Choice-free topological duality for implicative lattices and Heyting algebras.

Authors: Hartonas, Chrysafis¹ (AUTHOR) hartonas@uth.gr

Source: Algebra Universalis. Feb2024, Vol. 85 Issue 1, p1-29. 29p.

LOGICA RELAȚIILOR ȘI FUNCȚIA STRUCTURAL-SIMBOLICĂ.

Alternate Title: THE LOGIC OF RELATIONS AND THE STRUCTURAL-SIMBOLIC FUNCTION.

Authors: BIRIȘ, IOAN¹

Source: Problems of Logic / Probleme de Logică. 2024, Vol. 27, p39-54. 16p.

Abduction as Deductive Saturation: a Proof-Theoretic Inquiry.

Authors: Piazza, Mario Pulcini, Gabriele Sabatini, Andrea

Source: Journal of Philosophical Logic. Dec2023, Vol. 52 Issue 6, p1575-1602. 28p.

Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.

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

Source: Studia Logica. Dec2023, Vol. 111 Issue 6, p979-1014. 36p.

Operators on complemented lattices.

Authors: Chajda, Ivan Länger, Helmut

Source: Soft Computing - A Fusion of Foundations, Methodologies & Applications. Apr2025, Vol. 29 Issue 7, p3115-3123. 9p.

Subjects: Propositional calculus, Quantum mechanics, Definitions

Representation of gene regulation networks by hypothesis logic-based Boolean systems.

Authors: Siegel, Pierre Doncescu, Andrei Risch, Vincent et al.

Source: Journal of Supercomputing. Mar2023, Vol. 79 Issue 4, p4556-4581. 26p.

Subjects: Genetic regulation, Propositional calculus, Modal logic, Limit cycles, Dynamical systems

Classes of Hard Formulas for QBF Resolution.

Authors: Schleitzer, Agnes Beyersdorf, Olaf

Source: Journal of Artificial Intelligence Research. 2023, Vol. 77, p1455-1487. 33p.

АНАЛІЗ ПРИРОДНОМОВНИХ ТЕКСТІВ: АНТИМЕМИ, СУПЕРЕЧНІСТЬ, ОНТОЛОГІЇ.

Alternate Title: NATURAL LANGUAGES ANALYSIS: ANTIMEMS, CONTRADICTIONS, ONTOLOGIES.

Authors: КРИВИЙ, С. Л. ДАРЧУК, Н. П. СКРИПНИК, Т. К.

Source: Cybernetics & Systems Analysis / Kibernetyka ta Systemnyi Analiz. Mar/Apr2023, Vol. 59 Issue 2, p3-17. 15p.

Analyzing Natural Languages: Antimems, Contradictions, and Onthologies.

Authors: Kryvyi, S. Darchuk, N. Skrypnyk, T.

Source: Cybernetics & Systems Analysis. Mar2023, Vol. 59 Issue 2, p177-189. 13p.