A logic is referential iff it is selfextensional

DOI10.1023/A:1023360709757zbMath1027.03006OpenAlexW1543564475MaRDI QIDQ1810812

Ryszard Wójcicki

Publication date: 9 June 2003

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1023360709757

zbMATH Keywords

referential semanticsreferential logicselfextensionality

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items (2)

Possible worlds in use ⋮ On two fragments with negation and without implication of the logic of residuated lattices

This page was built for publication: A logic is referential iff it is selfextensional