Independent axiomatizability of sets of sentences
From MaRDI portal
Publication:1262853
DOI10.1016/0168-0072(89)90034-1zbMath0687.03015MaRDI QIDQ1262853
Publication date: 1989
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(89)90034-1
03B99: General logic
Related Items
The pleasures of anticipation: Enriching intuitionistic logic, Classes of valuations closed under operations Galois-dual to Boolean sentence connectives, Properties of the logical consequence operation and its relationship with the independence of propositional logic, Explicating logical independence
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Choice and well-ordering
- Lindenbaum algebras of intuitionistic theories and free categories
- Covers in lattices of quasivarieties and independent axiomatizability
- Basic properties of deductive systems based on nonclassical logics. Part I, II
- Undecidable theories
- Some applications of formalized consistency proofs
- On the quantificational logic of intuitionistic set theory
- Some old and new problems in the independence theory
- Independent Axiomatization and its Relation to the Hypersimple Set
- Systems of Logic Based on Ordinals†
- The role of the axiom of induction in elementary arithmetic
- On axiomatizability within a system
- Models of axiomatic systems
- A Theorem on Hypersimple Sets