Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
Description
| - V článku je dokázána efektivní vlastnost disjunkce v modálních logikách K, K4, K4Grz, GL, T, S4, a S4Grz, uniformním a jednoduchým důkazem založeným na uniformní definici sekventového kalkulu pro zmíněné logiky. Jako důsledek dostaneme efektivní interpolaci ve zmíněných logikách. Výsledky obsažené v článku jsou slabší než současně dosažené P. Hrubešem. (cs)
- We prove Feasible Disjunction Property for modal propositional logics K, K4, K4Grz, GL, T, S4, and S4Grz, by a uniform and simple proof based on modular modal sequent proof systems. We derive Feasible Interpolation Theorem for all the logics. Our results are weaker than Hrubeš’ obtained recently.
- We prove Feasible Disjunction Property for modal propositional logics K, K4, K4Grz, GL, T, S4, and S4Grz, by a uniform and simple proof based on modular modal sequent proof systems. We derive Feasible Interpolation Theorem for all the logics. Our results are weaker than Hrubeš’ obtained recently. (en)
|
Title
| - Feasible Disjunction Property and Feasible Interpolation in Modal Logic
- Feasible Disjunction Property and Feasible Interpolation in Modal Logic (en)
- Efektivní vlastnost disjunkce a efektivní interpolace v modální logice (cs)
|
skos:prefLabel
| - Feasible Disjunction Property and Feasible Interpolation in Modal Logic
- Feasible Disjunction Property and Feasible Interpolation in Modal Logic (en)
- Efektivní vlastnost disjunkce a efektivní interpolace v modální logice (cs)
|
skos:notation
| - RIV/00216208:11210/07:00000721!RIV08-MSM-11210___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216208:11210/07:00000721
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Feasible; Disjunction; Property; Feasible; Interpolation; Modal; Logic (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...i/riv/kodPristupu
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...n/vavai/riv/zamer
| |
http://localhost/t...ganizacniJednotka
| |