scientific article; zbMATH DE number 3591963
From MaRDI portal
Publication:4159032
Bibliographies for mathematics in general (00A15) Conference proceedings and collections of articles (00Bxx) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Many-valued logic (03B50) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Cited in
(10)- Dialogue games for many-valued logics -- an overview
- From games to truth functions: a generalization of Giles's game
- Extending resolution to resolution logics
- On semantic games for Łukasiewicz logic
- Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
- Infinite valued Łukasiewicz logic
- Łukasiewicz and His Followers in Many-Valued Logic
- Natural dualities for varieties generated by finite positive MV-chains
- An essay in matrix semantics for consequence relations
- On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4159032)
