Properties of the logical consequence operation and its relationship with the independence of propositional logic
From MaRDI portal
Publication:2274565
DOI10.1007/S11253-018-1546-4zbMath1480.03004OpenAlexW2903446172WikidataQ128898683 ScholiaQ128898683MaRDI QIDQ2274565
G. Öner, Tahsin Oner, Ibrahim Senturk
Publication date: 20 September 2019
Published in: Ukrainian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11253-018-1546-4
Cites Work
- Theory of logical calculi. Basic theory of consequence operations
- Some theorems on structural consequence operations
- Independent axiomatizability of sets of sentences
- Proceedings of the 8th annual conference on Computational learning theory (COLT '95). Santa Cruz, CA, USA, July 5--8, 1995
- A shared framework for consequence operations and abstract model theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Properties of the logical consequence operation and its relationship with the independence of propositional logic
