Relational and partial variable sets and basic predicate logic

Journal of Symbolic Logic

Volumn 61, Issue 3, 1996, Pages 843-872

  Ghilardi, Silvio ^a   Meloni, Giancarlo ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030508044     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275788     Document Type: Article

References (5)

1. S. GHILARDI and G. MELONI, Relative and absolute topological semantics for modal and basic predicate logic, in preparation.
2. _, Modal and temporal predicate logic: models in presheaves and categorical conceptualization, Categorical algebra and its applications (F. Borceux, editor). Springer LNM 1348, 1988, pp. 130-142.
3. _, Relational and topological semantics for temporal and modal predicative logic, Atti del congresso 'Nuovi problemi della logica e della filosofia della scienza' Viareggio, Gennaio 1990, vol. II -Logica, CLUEB Bologna, 1991, pp. 59-77.
4. K. GÖDEL, Eine Interpretation des intuitionistischen Aussagenkalküls, Ergebnisse eines mathematischen Kolloquiums, vol. 4 (1933), pp. 34-40.
5. F. W. LAWVERE, Equality in hyperdoctrines and the comprehension schema as an adjoint functor, Applications of categorical algebra, Proceedings of Symp. in Pure Math., XVII, 1970, pp. 1-14.