Non-deterministic Connectives in Propositional Godel Logic

DOI10.2991/EUSFLAT.2011.87zbMath1254.03055OpenAlexW2033495948MaRDI QIDQ4902375

Ori Lahav, Arnon Avron

Publication date: 15 January 2013

Published in: Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2991/eusflat.2011.87

zbMATH Keywords

nondeterministic semanticshypersequent calculipropositional Gödel logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Non-deterministic Connectives in Propositional Godel Logic