Results 11 to 20 of about 38,385 (299)
An intermediate term functor logic
Argumentos, 2019 Neste artigo, tentamos fazer algo bastante simples: conhecer os avanços de Sommers e Englebretsen (a saber, uma álgebra mais-menos para silogística) juntamente com os desenvolvimentos de Peterson e Thompson (ou seja, uma extensão da silogística com “a ...
José Martin Castro Manzano
doaj +6 more sources
Intermediate Logics and Visser's Rules [PDF]
Notre Dame Journal of Formal Logic, 2005 A set \(R\) of admissible rules forms a basis of admissible rules for a logic \(L\) if all the admissible rules of \(L\) can be derived from \(R\). It was proved by the author [J. Symb. Log. 66, 281--294 (2001; Zbl 0986.03013)] that the so-called Visser's rules form a basis of admissible rules for the intuitionistic propositional calculus \textbf{IPC}.
Rosalie Iemhoff
openalex +5 more sources
Reflexive Intermediate Propositional Logics [PDF]
Notre Dame Journal of Formal Logic, 2006 Which intermediate propositional logics can prove their own completeness? I call a logic reflexive if a second-order metatheory of arithmetic created from the logic is sufficient to prove the completeness of the original logic. Given the collection of intermediate propositional logics, I prove that the reflexive logics are exactly those that are at ...
Nathan C. Carter
openalex +3 more sources
Intermediate Logics and the de Jongh property [PDF]
Archive for Mathematical Logic, 2010 Dick de Jongh proved in an unpublished paper that the propositional logic of Heyting's arithmetic, \textbf{HA}, is precisely \textbf{IPC}, that means that, for any proposition \(A(p_1,\dots, p_n)\), \(\mathbf{IPC}\vdash A(p_1,\dots, p_n)\) if and and only if \(\mathbf{HA}\vdash A(B_1,\dots, B_n)\), for all arithmetical sentences \(B_1,\dots, B_n ...
Dick de Jongh +2 more
openalex +9 more sources
Reconfigurable binary and ternary logic devices enabling logic state modulation [PDF]
Nature CommunicationsThis paper reports a reconfigurable binary–ternary transistor with a controllable voltage range and current level for the intermediate logic state. The proposed functions were demonstrated using an indium–gallium–zinc-oxide channel with a dual-gate ...
Yonghyun Albert Kwon +5 more
doaj +2 more sources
Characteristic formulas over intermediate logics [PDF]
, 2012 We expand the notion of characteristic formula to infinite finitely presentable subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presentable subdirectly irreducible algebras.
Alex Citkin
openalex +4 more sources
Polyhedral Completeness of Intermediate Logics: The Nerve Criterion [PDF]
The Journal of Symbolic Logic, 2022 AbstractWe investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra.
Sam Adam-Day
+7 more sources
Tabular Intermediate Logics Comparison [PDF]
Tabular intermediate logics are intermediate logics characterized by finite posets treated as Kripke frames. For a poset $\mathbb{P}$, let $L(\mathbb{P})$ denote the corresponding tabular intermediate logic. We investigate the complexity of the following decision problem $\mathsf{LogContain}$: given two finite posets $\mathbb P$ and $\mathbb Q$, decide
Paweł Rzążewski +1 more
openalex +3 more sources
Combining intermediate propositional logics with classical logic [PDF]
, 2015 18 ...
Steffen Lewitzka
openalex +3 more sources
Optimizing the Selection of Intermediate Charging Stations in EV Routing Through Neuro-Fuzzy Logic
IEEE AccessWe propose a comprehensive Electric Vehicle (EV) routing algorithm to find the optimal set of intermediate charging stations (CSs) present between a given source and destination.
S. Priya +3 more
doaj +2 more sources