scientific article; zbMATH DE number 753769

zbMATH Open0820.03012MaRDI QIDQ4698602FDOQ4698602

Authors: Robert Kowalski 

Publication date: 11 May 1995

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 5316604
• scientific article; zbMATH DE number 2196610
• scientific article; zbMATH DE number 3939317
• Logics without the contraction rule
• Predicate logics without the structure rules
• Logic without metaphysics
• scientific article; zbMATH DE number 3045769
• A consistent prepositional logic without any finite models
• Modal Logic Without Possible Worlds
• Logic without language

zbMATH Keywords

belief revisioncomputational logicmodel theoryhuman reasoningknowledge assimilationsyntactic approachcomputational reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cited In (5)

• The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated
• Title not available (Why is that?)
• Logic without borders. Essays on set theory, model theory, philosophical logic and philosophy of mathematics
• Logic without contraction as based on inclusion and unrestricted abstraction
• Title not available (Why is that?)

Uses Software

• SATCHMO

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4698602)