Sciweavers

63
Voted
LOGCOM
2010
135views more  LOGCOM 2010»
14 years 7 months ago
Bases of Admissible Rules of Lukasiewicz Logic
We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Lukasiewicz logic, and we prove that every formula has an admissibly sat...
Emil Jerábek