Independence in higher-order subclassical logic

DOI10.1305/NDJFL/1093870936zbMATH Open0623.03028OpenAlexW2062945910MaRDI QIDQ1091385

David Ballard

Publication date: 1985

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870936

zbMATH Keywords

intuitionistic logicintermediate logicscomplete Heyting latticeindependence of connectivessemantic structures

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (7)

Hintikka's independence-friendly logic meets Nelson's realizability ⋮ On the Independent Axiomatizability of Modal and Intermediate Logics ⋮ Title not available (Why is that?) ⋮ Kim-independence in positive logic ⋮ Independence of higher Kurepa hypotheses ⋮ Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies ⋮ Independence-friendly logic without Henkin quantification

This page was built for publication: Independence in higher-order subclassical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1091385)