Results 241 to 250 of about 48,055 (261)

On Normalizing Disjunctive Intermediate Logics

2016
In this paper it is shown that every intermediate logic obtained from intuitionistic logic by adding a disjunction can be normalized. However, the normalization procedure is not as complete as that for intuitionistic and minimal logic because some results which usually follow from normalization fail, including the separation property and the subformula
openaire   +1 more source

Intermediate Logic

Teaching Philosophy, 1999
openaire   +1 more source

Jankov Formulas and Axiomatization Techniques for Intermediate Logics

Outstanding Contributions To Logic, 2022
Nick Bezhanishvili
exaly  

Post-translational modifications of intermediate filament proteins: mechanisms and functions

Nature Reviews Molecular Cell Biology, 2014
Natasha T Snider, M Bishr Omary
exaly  

Inside the Hybrid Organization: Selective Coupling as a Response to Competing Institutional Logics

Academy of Management Journal, 2013
Anne-Claire Pache
exaly  

On the concurrent computational content of intermediate logics

Theoretical Computer Science, 2020
Agata Ciabattoni
exaly  

INTERMEDIATE LOGICAL SYSTEMS

2001
openaire   +1 more source

Digital transformation and the new logics of business process management

European Journal of Information Systems, 2020
Abayomi Baiyere, Hannu Salmela
exaly  

Constructive canonicity in non-classical logics

Annals of Pure and Applied Logic, 1997
Silvio Ghilardi
exaly  

Concerning Kripke semantics for intermediate predicate logics

2019
In Proc. Japan Acad. 49, 337-340 (1973; Zbl 0276.02037), \textit{S. Nagai} introduced a new type of semantics for intermediate predicate logics, which \textit{H. Ono} and \textit{S. Nagai} [J. Tsuda College 6, 9-21 (1974)] termed the general Kripke models.
openaire   +2 more sources