Josep Maria Font
6 artykuły w 1 czasopismach
-
Intuitionistic implication in some non-classical modal logics of type S4 Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 1 / s. 2 - 71983CZYSTY TEKST
Josep Maria Font, Intuitionistic implication in some non-classical modal logics of type S4, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 2 - 7
BIBTEX@Article{ authors = " Josep Maria Font", title = "Intuitionistic implication in some non-classical modal logics of type S4", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "2 - 7" }
-
Atoms in a Lattice of Theories Opublikowano w: Bulletin of the Section of Logic 2013 / Tom 42 / Numer 1-2 / s. 21 - 322013CZYSTY TEKST
Josep Maria Font, Atoms in a Lattice of Theories, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 1-2, s. 21 - 32
BIBTEX@Article{ authors = " Josep Maria Font", title = "Atoms in a Lattice of Theories", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 1-2", pages = "21 - 32" }
-
On the logic of distributive lattices Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 2 / s. 79 - 861989CZYSTY TEKST
Josep Maria Font, Ventura Verdu, On the logic of distributive lattices, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 79 - 86
BIBTEX@Article{ authors = " Josep Maria Font, Ventura Verdu", title = "On the logic of distributive lattices", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "79 - 86" }
-
On Substructural Logics Preserving Degrees of Truth Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 3-4 / s. 117 - 1302007CZYSTY TEKST
Josep Maria Font, On Substructural Logics Preserving Degrees of Truth, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 3-4, s. 117 - 130
BIBTEX@Article{ authors = " Josep Maria Font", title = "On Substructural Logics Preserving Degrees of Truth", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 3-4", pages = "117 - 130" }
-
Full models for sentential logic Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 3 / s. 123 - 1311995CZYSTY TEKST
Josep Maria Font, Ramon Jansana, Full models for sentential logic, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 123 - 131
BIBTEX@Article{ authors = " Josep Maria Font, Ramon Jansana", title = "Full models for sentential logic", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "123 - 131" }
-
Characterization of the reduced matrices for the {&,or}-fragment of classical logic Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 3-4 / s. 124 - 1291991CZYSTY TEKST
Josep Maria Font, F. Guzman, Ventura Verdu, Characterization of the reduced matrices for the {&,or}-fragment of classical logic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 124 - 129
BIBTEX@Article{ authors = " Josep Maria Font, F. Guzman, Ventura Verdu", title = "Characterization of the reduced matrices for the {&,or}-fragment of classical logic", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "124 - 129" }