In the present paper we deal with subintuitionistic logics and their modal companions. In particular, we introduce nested calculi for subintuitionistic systems and for modal logics in the modal cube ranging from to . The latter calculi differ from standard nested systems, as there are multiple rules handling the modal operator. As an upshot, we get a purely syntactic proof of the Gödel-McKinsey-Tarski embedding which preserves the structure and the height of the derivations. Finally, we obtain a conservativity result for classical logic over a weak subintuitionistic system.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC11737289 | PMC |
| http://dx.doi.org/10.1080/11663081.2024.2366756 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Subintuitionistic logics and their modal companions: a nested approach.
J Appl Non Class Log
August 2024
Institute of Logic and Computation, TU Wien, Vienna, Austria.
In the present paper we deal with subintuitionistic logics and their modal companions. In particular, we introduce nested calculi for subintuitionistic systems and for modal logics in the modal cube ranging from to . The latter calculi differ from standard nested systems, as there are multiple rules handling the modal operator.
View Article and Find Full Text PDFDevelopmental invariance in deep distortions.
Psychol Aging
January 2025
Department of Psychology, Trinity University.
Recently, a distinction has been drawn between conventional false memories, which misrepresent specific facts, and deep distortions, which misrepresent relations that connect facts. We report the first study of adult developmental trends in deep distortions, using a paradigm in which people make conjoint recognition judgments about incompatible facts (e.g.
View Article and Find Full Text PDFA geometric neural solving method based on a diagram text information fusion analysis.
Sci Rep
December 2024
North China University of Water Resources and Electric Power, Zhengzhou, 450046, China.
The long-standing problem of geometric problem solving in artificial intelligence education has attracted widespread attention. It is necessary to combine geometry diagrams and text descriptions to form a logical representation. This involves combining the knowledge of mathematical theorems, generating a solution sequence, and executing to obtain the answer.
View Article and Find Full Text PDFDevelopment of a multi-level/multi-modal intervention for health care transition preparation.
Health Care Transit
July 2024
Baylor College of Medicine and Texas Children's Hospital, Division of Adolescent Medicine and Sports Medicine, 6701 Fannin Street, Suite 1710, Houston, TX 77030, USA.
Aims: Health care transition (HCT) to adult care and young adult disease self-management is a multi-step process involving three major stakeholders - the adolescent, the caregiver, and the provider. Preparation gaps exist within each of these stakeholder groups. This paper presents the development of the Intervention to Promote Autonomy and Competence in Transition-aged Youth (IPACT), a multi-level (adolescent, caregiver, provider), multi-modal (interactive skill building sessions, educational materials, videos) intervention to address gaps in all three stakeholder groups simultaneously and help support achieving the three core elements of HCT planning.
View Article and Find Full Text PDFA basic system of paraconsistent Nelsonian logic of conditionals.
J Logic Lang Inf
December 2024
Department of Philosophy I, Ruhr University Bochum, Universitätsstraße 150, Bochum, 44780 Germany.
We define a Kripke semantics for a conditional logic based on the propositional logic , the paraconsistent variant of Nelson's logic of strong negation; we axiomatize the minimal system induced by this semantics. The resulting logic, which we call , shows strong connections both with the basic intuitionistic logic of conditionals introduced earlier in (Olkhovikov, 2023) and with the -based modal logic introduced in (Odintsov and Wansing, 2004) as one of the possible counterparts to the classical modal system . We map these connections by looking into the embeddings which obtain between the aforementioned systems.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!