Pages that link to "Item:Q1006641"
From MaRDI portal
The following pages link to The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete (Q1006641):
Displaying 7 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Kripke semantics for intuitionistic Łukasiewicz logic (Q2021569) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- Some modal and temporal translations of generalized basic logic (Q2695352) (← links)
- Soft Constraints Processing over Divisible Residuated Lattices (Q3638207) (← links)
- A Kripke Semantics for Hajek's BL (Q6196499) (← links)
