Partial classical propositional logic

Authors: Martins, Hugo Morais

Contributors: Espírito Santo, José, Universidade do Minho

Source: urn:tid:203610253

Subject Terms: Partial classical propositional logic, Partial algebras, Partial Boolean algebras, Quantum logic, Lógica clássica proposicional parcial, Álgebras parciais, Álgebras Booleanas parciais, Lógica quântica

File Description: application/pdf

Availability: https://hdl.handle.net/1822/92311

Probabilistic propositional logic

Authors: Barbosa, Fábio Daniel Moreira

Subject Terms: Matemática, Probabilidades, Lógica proposicional, Espaços de Hilbert

File Description: application/pdf

Availability: http://hdl.handle.net/10773/22198

Propositional Logic for Automated Reasoning in Legal Expert Systems

Authors: Nair, Rekha R, Babu, Tina, Karanam, Pranitha

Source: 2024 International Conference on IT Innovation and Knowledge Discovery (ITIKD) IT Innovation and Knowledge Discovery (ITIKD), 2024 International Conference on. :1-6 Apr, 2025

Relation: 2024 International Conference on IT Innovation and Knowledge Discovery (ITIKD)

The theory of 𝑡 absolute randomized truth degree in Goguen 𝑛-valued propositional logic system of adding two operators

Authors: Wang, Bo, Xu, Xiaoquan

Source: Filomat, 2025 Jan 01. 39(5), 1491-1508.

Access URL: https://www.jstor.org/stable/27388135

Visualizing Automated Theorem Proving: An Educational Web-Based Tool for Propositional Logic

Authors: Tomascik, Lukas, Perhac, Jan, Geciova, Nikola, Novotny, Samuel

Source: 2025 IEEE 29th International Conference on Intelligent Engineering Systems (INES) Intelligent Engineering Systems (INES), 2025 IEEE 29th International Conference on. :000335-000340 Jun, 2025

Relation: 2025 IEEE 29th International Conference on Intelligent Engineering Systems (INES)

LogiCraft: A Game Modification Framework for Learning Propositional Logic: A Game Modification Framework for Learning Propositional Logic

Authors: Tamara Dobler, Lorenzo Galeotti, Riemer van Rozen

Source: Proceedings of the 20th International Conference on the Foundations of Digital Games. :1-11

Subject Terms: education, game-based learning, board games, propositional logic

Access URL: https://hdl.handle.net/1871.1/a224b007-49f2-4e7f-955d-db74e58dbebe
https://research.vu.nl/en/publications/a224b007-49f2-4e7f-955d-db74e58dbebe
https://doi.org/10.1145/3723498.3723848

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation

Authors: Tang, V., Gomes, C., Lucani, D.E.

Source: IEEE Internet of Things Journal IEEE Internet Things J. Internet of Things Journal, IEEE. 12(3):2674-2689 Feb, 2025

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences

Authors: von Liechtenstein, Maximilian R. P.

Subject Terms: Logic in Computer Science, Artificial Intelligence, Computational Complexity, Quantum Physics, 68Q17, 68Q25, F.1.1; F.2.2; I.2.3

Access URL: http://arxiv.org/abs/2510.04716

State Algebra for Propositional Logic

Authors: Lesnik, Dmitry, Schäfer, Tobias

Subject Terms: Artificial Intelligence, Logic in Computer Science, 03G27 (Primary) 68W30, 68T27 (Secondary)

Access URL: http://arxiv.org/abs/2509.10326

Interpolation in Classical Propositional Logic

Authors: Koopmann, Patrick, Wernhard, Christoph, Wolter, Frank

Subject Terms: Logic in Computer Science, 03B05 (Primary)

Access URL: http://arxiv.org/abs/2508.11449

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

Encoding argumentation frameworks with set attackers to propositional logic systems

Authors: Tang, Shuai, Wu, Jiachao, Zhou, Ning

Subject Terms: Logic, 68T27, 03B70, 03B50, F.4.1; I.2.4; I.2.3

Access URL: http://arxiv.org/abs/2504.08370

Efficient Target Singulation with Multi-fingered Gripper using Propositional Logic

Authors: Kim, Hyojeong, Jo, JeongYong, Lim, Myo-Taeg, Kim, ChangHwan

Source: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) Intelligent Robots and Systems (IROS), 2024 IEEE/RSJ International Conference on. :12101-12107 Oct, 2024

Relation: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Propositional Logic for Probing Generalization in Neural Networks

Authors: Langedijk, Anna, Jumelet, Jaap, Zuidema, Willem

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2506.08978

Carnap’s Problem for Intuitionistic Propositional Logic

Authors: Tong, Haotian, Westerståhl, Dag, 1946

Source: Logics. 1(4):163-181

Subject Terms: intuitionistic logic, Carnap’s problem, Heyting algebras, set-based semantics, nuclear semantics, algebraic semantics, logical constants, consequence relations, categoricity

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-234181
https://doi.org/10.3390/logics1040009

The Truth Table Formulation of Propositional Logic

Authors: Haze, Tristan Grøtvedt

Source: Teorema: Revista Internacional de Filosofía, 2023 Jan 01. 42(1), 123-148.

Access URL: https://www.jstor.org/stable/27250473

Encoding Argumentation Frameworks to Propositional Logic Systems

Authors: Tang, Shuai, Wu, Jiachao, Zhou, Ning

Subject Terms: Artificial Intelligence, Logic, Primary 68T27, Secondary 03B70, 03B50, 03B52, 68Q55, I.2.4; F.4.1

Access URL: http://arxiv.org/abs/2503.07351

Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras

Authors: Flaviani, Federico, Carballosa, Walter

Source: 2022 XVLIII Latin American Computer Conference (CLEI) Computer Conference (CLEI), 2022 XVLIII Latin American. :1-9 Oct, 2022

Relation: 2022 XVLIII Latin American Computer Conference (CLEI)

Non-finite methods of Reconstructions of Non-Classical Propositional Logic Variants based on the Theory of Structures in Control Problems of Complex Systems

Authors: Titov, Andery V.

Source: 2022 15th International Conference Management of large-scale system development (MLSD) Management of large-scale system development (MLSD), 2022 15th International Conference. :1-4 Sep, 2022

Relation: 2022 15th International Conference Management of large-scale system development (MLSD)

LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs

Authors: Inamdar, Amogh, Macar, Uzay, Vazirani, Michel, Tarnow, Michael, Mustapha, Zarina, Dittren, Natalia, Sadeh, Sam, Verma, Nakul, Salleb-Aouissi, Ansaf

Subject Terms: Computer Science - Discrete Mathematics, Computer Science - Artificial Intelligence, Computer Science - Human-Computer Interaction

Access URL: http://arxiv.org/abs/2503.19280