Results 21 to 30 of about 2,358,795 (346)
On Intermediate Propositional Logics
Indagationes Mathematicae (Proceedings), 1965 A. S. Troelstra
openalex +4 more sources
On maximal intermediate predicate constructive logics [PDF]
Studia Logica, 1996 A predicate logic is constructed which is a maximal intermediate logic with the disjunction property and the explicit definability property \((\exists x{\mathcal A} (x) \in\psi\) implies \({\mathcal A} (y)\in \psi)\).
Alessandro Avellone +3 more
openalex +4 more sources
Some Results on the Intermediate Logics
Publications of the Research Institute for Mathematical Sciences, 1972 In ClOj, we developed the method of Kripke models and gave some applications of it to the study of the intermediate logics. We found that the use of Kripke models is very efficient, since in many cases the algebraic structure of Kripke models reflects well the properties of the logics characterized by them.
Hiroakira Ono
openalex +4 more sources
A note on finite intermediate logics. [PDF]
Notre Dame Journal of Formal Logic, 1974 John G. Anderson
openalex +5 more sources
Combining intermediate propositional logics with classical logic
, 2015 18 ...
Steffen Lewitzka
openalex +4 more sources
On some properties of intermediate logics [PDF]
Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1959 Toshio Umezawa
openalex +5 more sources
Logic-Scaffolding: Personalized Aspect-Instructed Recommendation Explanation Generation using LLMs [PDF]
Web Search and Data Mining, 2023 The unique capabilities of Large Language Models (LLMs), such as the natural language text generation ability, position them as strong candidates for providing explanation for recommendations.
Behnam Rahdari +6 more
semanticscholar +1 more source
Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inference [PDF]
Transactions of the Association for Computational Linguistics, 2022 We introduce a neuro-symbolic natural logic framework based on reinforcement learning with introspective revision. The model samples and rewards specific reasoning paths through policy gradient, in which the introspective revision algorithm modifies ...
Yufei Feng +3 more
semanticscholar +1 more source
Uniform Lyndon interpolation for intuitionistic monotone modal logic [PDF]
Advances in Modal Logic, 2022 In this paper we show that the intuitionistic monotone modal logic $\mathsf{iM}$ has the uniform Lyndon interpolation property (ULIP). The logic $\mathsf{iM}$ is a non-normal modal logic on an intuitionistic basis, and the property ULIP is a ...
A. Tabatabai +2 more
semanticscholar +1 more source
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis [PDF]
Theory and Practice of Logic Programming, 2022 With help of a compact Prolog-based theorem prover for Intuitionistic Propositional Logic, we synthesize minimal assumptions under which a given formula formula becomes a theorem.
Paul Tarau
semanticscholar +1 more source