|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 7 gevonden artikelen
| Titel: |
Definability and Canonicity for Boolean Logic with a Binary Relation |
| Auteur: |
Balbiani, Philippe Tinchev, Tinko |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 129 (2014) nr. 4 pagina's 301-327 |
| Jaar: |
2014-02-04 |
| Inhoud: |
This paper studies the concepts of definability and canonicity in Boolean logic with a binary relation. Firstly, it provides formulas defining first-order or second-order conditions on frames. Secondly, it proves that all formulas corresponding to compatible first-order conditions on frames are canonical. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 7 gevonden artikelen
| << vorige | volgende >> |