Open AccessSYSTEMS FOR PROVABILITY AND COUNTERMODEL GENERATION IN PROPOSITIONAL MINIMAL IMPLICATIONAL LOGIC
Author(s) -
Jefferson de Barros Santos
Publication year - 2021
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.17771/pucrio.acad.56122
Subject(s) - propositional variable , propositional calculus , well formed formula , computer science , mathematics , programming language , arithmetic , intermediate logic , description logic