@article{Souma2006MinimalSO, title={Minimal subvarieties of involutive residuated lattices}, author={Daisuke Souma}, journal={Reports on Mathematical Logic}, year={2006}, volume={46}, pages={17-27} }

- Published 2006 in Reports on Mathematical Logic
DOI:10.1007/s11225-006-8311-7

It is known that classical logic CL is the single maximal consistent logic over intuitionistic logic Int, which is moreover the single one even over the substructural logic FLew. On the other hand, if we consider maximal consistent logics over a weaker logic, there may be uncountablymany of them. Since the subvariety lattice of a given variety V of… CONTINUE READING

### Presentations referencing similar topics