Results 141 to 150 of about 47,777 (170)
Some of the next articles are maybe not open access.
On finite approximability of ?-intermediate logics
Studia Logica, 1982The aim of this note is to show (Theorem 1.6) that in each of the cases: ψ= {→, ∨ }, or {→, ∨, ∧ }, or {→, ∨, ℸ } there are uncountably many ψ-intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each ψ: either all ψ-intermediate logics are ...
openaire +2 more sources
Hypersequents, logical consequence and intermediate logics for concurrency
Annals of Mathematics and Artificial Intelligence, 1991zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Intermediate predicate logic without the beth property
Algebra and Logic, 1998Previously, the author has proven [Algebra Logika 35, No. 1, 105-117 (1996; Zbl 0897.03022)] that the interpolation property is missing in all predicate superintuitionistic logics which contain the logic \(J^*_{fd}\) (characterized by all Kripke frames whose domains of all nonmaximal worlds are finite) and are contained in a logic specified by all two ...
openaire +2 more sources
Integrative oncology: Addressing the global challenges of cancer prevention and treatment
Ca-A Cancer Journal for Clinicians, 2022Jun J Mao,, Msce +2 more
exaly
On Normalizing Disjunctive Intermediate Logics
2016In 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
Multidisciplinary standards of care and recent progress in pancreatic ductal adenocarcinoma
Ca-A Cancer Journal for Clinicians, 2020Aaron J Grossberg +2 more
exaly
Oral complications of cancer and cancer therapy
Ca-A Cancer Journal for Clinicians, 2012Joel B Epstein +2 more
exaly