Independent Bases of Admissible Rules

13 years 4 months ago

Download www.math.cas.cz

We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules. Key words: admissible rule, independent basis, modal logic, intuitionistic logic MSC (2000): 03B45, 03B55, 08C15

Emil Jerábek

Real-time Traffic

Admissible Rule | IGPL 2008 | Intuitionistic Logic Msc | Logic |

claim paper

» A Tableau Method for Checking Rule Admissibility in S4

» Introducing consciousness in UWB networks by hybrid modelling of admission control

» Managing Services Quality through Admission Control and Active Monitoring

» Conditional Independence Relations in Possibility Theory

» Structural subtyping for inductive types with functorial equality rules

» Efficient Resource Allocation for PolicyBased WirelessWireline Interworking

» A MeasurementBased AdmissionControlled Web Server

» Downlink AdmissionCongestion Control and Maximal Load in CDMA Networks

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2008
Where	IGPL
Authors	Emil Jerábek

Comments (0)

Sciweavers

Independent Bases of Admissible Rules

Admissible Rule | IGPL 2008 | Intuitionistic Logic Msc | Logic |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers