Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology', 1990, p.391-401
Ort / Verlag
IEEE Comput. Soc
Erscheinungsjahr
1990
Quelle
IEEE Electronic Library (IEL)
Beschreibungen/Notizen
A general semantic framework that allows the notion of inference to be investigated is introduced. Validity inference and truth inference are in some sense the extremal points of the framework used. The relationship between various types of inference is studied, and their complexity is considered in the context of a number of logics of interest: classical propositional logic, a nonstandard propositional logic, various propositional modal logics, and first-order logic.< >