Partial classical propositional logic

Συγγραφείς: Martins, Hugo Morais

Συνεισφορές: Espírito Santo, José, Universidade do Minho

Πηγή: urn:tid:203610253

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: https://hdl.handle.net/1822/92311

Probabilistic propositional logic

Συγγραφείς: Barbosa, Fábio Daniel Moreira

Θεματικοί όροι: Matemática, Probabilidades, Lógica proposicional, Espaços de Hilbert

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: http://hdl.handle.net/10773/22198

Propositional Logic for Automated Reasoning in Legal Expert Systems

Συγγραφείς: Nair, Rekha R, Babu, Tina, Karanam, Pranitha

Πηγή: 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

Συγγραφείς: Wang, Bo, Xu, Xiaoquan

Πηγή: Filomat, 2025 Jan 01. 39(5), 1491-1508.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/27388135

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

Συγγραφείς: Tomascik, Lukas, Perhac, Jan, Geciova, Nikola, Novotny, Samuel

Πηγή: 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

Συγγραφείς: Tamara Dobler, Lorenzo Galeotti, Riemer van Rozen

Πηγή: Proceedings of the 20th International Conference on the Foundations of Digital Games. :1-11

Θεματικοί όροι: education, game-based learning, board games, propositional logic

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Tang, V., Gomes, C., Lucani, D.E.

Πηγή: 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

Συγγραφείς: von Liechtenstein, Maximilian R. P.

Θεματικοί όροι: Logic in Computer Science, Artificial Intelligence, Computational Complexity, Quantum Physics, 68Q17, 68Q25, F.1.1; F.2.2; I.2.3

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2510.04716

State Algebra for Propositional Logic

Συγγραφείς: Lesnik, Dmitry, Schäfer, Tobias

Θεματικοί όροι: Artificial Intelligence, Logic in Computer Science, 03G27 (Primary) 68W30, 68T27 (Secondary)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2509.10326

Interpolation in Classical Propositional Logic

Συγγραφείς: Koopmann, Patrick, Wernhard, Christoph, Wolter, Frank

Θεματικοί όροι: Logic in Computer Science, 03B05 (Primary)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2508.11449

Resolution Proof System for Constrained Pseudo-propositional Logic

Συγγραφείς: Ahmad-Saher Azizi-Sultan

Πηγή: INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS. 25:343-350

Encoding argumentation frameworks with set attackers to propositional logic systems

Συγγραφείς: Tang, Shuai, Wu, Jiachao, Zhou, Ning

Θεματικοί όροι: Logic, 68T27, 03B70, 03B50, F.4.1; I.2.4; I.2.3

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2504.08370

Efficient Target Singulation with Multi-fingered Gripper using Propositional Logic

Συγγραφείς: Kim, Hyojeong, Jo, JeongYong, Lim, Myo-Taeg, Kim, ChangHwan

Πηγή: 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

Συγγραφείς: Langedijk, Anna, Jumelet, Jaap, Zuidema, Willem

Θεματικοί όροι: Computer Science - Machine Learning, Computer Science - Artificial Intelligence

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.08978

Carnap’s Problem for Intuitionistic Propositional Logic

Συγγραφείς: Tong, Haotian, Westerståhl, Dag, 1946

Πηγή: Logics. 1(4):163-181

Θεματικοί όροι: intuitionistic logic, Carnap’s problem, Heyting algebras, set-based semantics, nuclear semantics, algebraic semantics, logical constants, consequence relations, categoricity

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Haze, Tristan Grøtvedt

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

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/27250473

Encoding Argumentation Frameworks to Propositional Logic Systems

Συγγραφείς: Tang, Shuai, Wu, Jiachao, Zhou, Ning

Θεματικοί όροι: Artificial Intelligence, Logic, Primary 68T27, Secondary 03B70, 03B50, 03B52, 68Q55, I.2.4; F.4.1

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2503.07351

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

Συγγραφείς: Flaviani, Federico, Carballosa, Walter

Πηγή: 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

Συγγραφείς: Titov, Andery V.

Πηγή: 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

Συγγραφείς: Inamdar, Amogh, Macar, Uzay, Vazirani, Michel, Tarnow, Michael, Mustapha, Zarina, Dittren, Natalia, Sadeh, Sam, Verma, Nakul, Salleb-Aouissi, Ansaf

Θεματικοί όροι: Computer Science - Discrete Mathematics, Computer Science - Artificial Intelligence, Computer Science - Human-Computer Interaction

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2503.19280