caa a22 4500 605539146 CHVBK 20210128100905.0 cr unu---uuuuu 210128e20150801xx s 000 0 eng 10.1007/s10992-014-9328-4 doi (NATIONALLICENCE)springer-10.1007/s10992-014-9328-4 Thomas Morgan University of Connecticut, 101 Manchester Hall, 355 Mansfield Rd., 06269-1054, Storrs, CT, USA aut A Generalization of the Routley-Meyer Semantic Framework [Elektronische Daten] [Morgan Thomas] We develop an axiomatic theory of "generalized Routley-Meyer (GRM) logics.” These are first-order logics which are can be characterized by model theories in a certain generalization of Routley-Meyer semantics. We show that all GRM logics are subclassical, have recursively enumerable consequence relations, satisfy the compactness theorem, and satisfy the standard structural rules and conjunction and disjunction introduction/elimination rules. We also show that the GRM logics include classical logic, intuitionistic logic, LP/K3/FDE, and the relevant logics. Springer Science+Business Media Dordrecht, 2014 Routley-Meyer semantics nationallicence Universal logic nationallicence Model theory nationallicence Journal of Philosophical Logic Springer Netherlands 44/4(2015-08-01), 411-427 0022-3611 44:4<411 2015 44 10992 https://doi.org/10.1007/s10992-014-9328-4 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s10992-014-9328-4 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Thomas Morgan University of Connecticut, 101 Manchester Hall, 355 Mansfield Rd., 06269-1054, Storrs, CT, USA aut NATIONALLICENCE 773 0- Journal of Philosophical Logic Springer Netherlands 44/4(2015-08-01), 411-427 0022-3611 44:4<411 2015 44 10992