The Content of Content Semantics

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F25%3A00641222" target="_blank" >RIV/67985807:_____/25:00641222 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.26686/ajl.v22i5.9252" target="_blank" >https://doi.org/10.26686/ajl.v22i5.9252</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.26686/ajl.v22i5.9252" target="_blank" >10.26686/ajl.v22i5.9252</a>

Jazyk výsledku
angličtina
Název v původním jazyce
The Content of Content Semantics
Popis výsledku v původním jazyce
In this paper, we investigate Brady's content semantics, which was an early attempt to get around the infamous incompleteness of the standard axiom systems for quantified relevant logics with regard to constant domain expansions of ternary relation semantics. We investigate this semantic framework by showing equivalence to a variation on a recently proposed algebraic version of semantics due to Mares and Goldblatt.
Název v anglickém jazyce
The Content of Content Semantics
Popis výsledku anglicky
In this paper, we investigate Brady's content semantics, which was an early attempt to get around the infamous incompleteness of the standard axiom systems for quantified relevant logics with regard to constant domain expansions of ternary relation semantics. We investigate this semantic framework by showing equivalence to a variation on a recently proposed algebraic version of semantics due to Mares and Goldblatt.

Projekt
<a href="/cs/project/GA22-01137S" target="_blank" >GA22-01137S: Metamatematika substrukturálních modálních logik</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2025
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)