Academic Journal
Resolution Proof System for Constrained Pseudo-propositional Logic
| Title: | Resolution Proof System for Constrained Pseudo-propositional Logic |
|---|---|
| Authors: | Ahmad-Saher Azizi-Sultan |
| Source: | INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS. 25:343-350 |
| Publisher Information: | Korean Institute of Intelligent Systems, 2025. |
| Publication Year: | 2025 |
| Document Type: | Article |
| Language: | English |
| ISSN: | 2093-744X 1598-2645 |
| DOI: | 10.5391/ijfis.2025.25.3.343 |
| Accession Number: | edsair.doi...........7cef8fafa32504957a587bba87e1701d |
| Database: | OpenAIRE |
Be the first to leave a comment!