المؤلفون: Hartonas, Chrysafis¹ (AUTHOR) hartonas@uth.gr

المصدر: Algebra Universalis. Feb2024, Vol. 85 Issue 1, p1-29. 29p.

مصطلحات موضوعية: *HEYTING algebras, *PROPOSITIONAL calculus, *DISTRIBUTIVE lattices, *TOPOLOGICAL algebras, *LOGIC

المؤلفون: Piazza, Mario¹ (AUTHOR), Pulcini, Gabriele² (AUTHOR), Sabatini, Andrea¹ (AUTHOR) andrea.sabatini@sns.it

المصدر: Journal of Philosophical Logic. Dec2023, Vol. 52 Issue 6, p1575-1602. 28p.

مصطلحات موضوعية: *ABDUCTION, *PROPOSITIONAL calculus, *PROPOSITION (Logic), *INFERENCE (Logic), *PROOF theory

المؤلفون: Kryvyi, S.¹ (AUTHOR) sl.krivoi@gmail.com, Darchuk, N.¹ (AUTHOR), Skrypnyk, T.² (AUTHOR)

المصدر: Cybernetics & Systems Analysis. Mar2023, Vol. 59 Issue 2, p177-189. 13p.

مصطلحات موضوعية: *NATURAL languages, *PROPOSITIONAL calculus, *CONTRADICTION, *AGGREGATION operators

المؤلفون: Siegel, Pierre¹ (AUTHOR), Doncescu, Andrei² (AUTHOR) andrei.doncescu@laas.fr, Risch, Vincent¹ (AUTHOR), Sené, Sylvain¹ (AUTHOR)

المصدر: Journal of Supercomputing. Mar2023, Vol. 79 Issue 4, p4556-4581. 26p.

مصطلحات موضوعية: *GENETIC regulation, *PROPOSITIONAL calculus, *MODAL logic, *LIMIT cycles, *DYNAMICAL systems

المؤلفون: Lin, Zhe, Ma, Minghui

المصدر: Axioms (2075-1680); Oct2023, Vol. 12 Issue 10, p966, 18p

مصطلحات موضوعية: KRIPKE semantics, PROPOSITION (Logic), LOGIC, PROPOSITIONAL calculus, RESIDUATED lattices, CALCULUS

الشركة/الكيان: ROYAL British Legion (Organization)

المؤلفون: Lewitzka, Steffen

المصدر: Journal of Logic, Language & Information; Aug2023, Vol. 32 Issue 3, p441-471, 31p

مصطلحات موضوعية: PROPOSITIONAL calculus, SEMANTICS, MODAL logic, GENERAL semantics

المؤلفون: KATICAN, TUGCE, ONER, TAHSIN, SAEID, ARSHAM BORUMAND

المصدر: Algebraic Structures & their Applications; Aug2023, Vol. 10 Issue 2, p65-85, 21p

مصطلحات موضوعية: GEOMETRIC congruences, PROPOSITIONAL calculus, ISOMORPHISM (Mathematics), HILBERT algebras, BOOLEAN algebra

المؤلفون: Inoué, Takao¹ (AUTHOR), Hanaoka, Riku² (AUTHOR)

المصدر: Formalized Mathematics. Apr2022, Vol. 30 Issue 1, p1-12. 12p.

مصطلحات موضوعية: *PROPOSITIONAL calculus, *PROPOSITION (Logic)

المؤلفون: Moreira de Oliveira Jr, Montauban¹, de Abreu Mendes, Felipe¹, Eon, Jean-Guillaume² jgeon@iq.ufrj.br

المصدر: Acta Crystallographica. Section A, Foundations & Advances. Mar2022, Vol. 78 Issue 2, p115-127. 13p.

مصطلحات موضوعية: *PROPOSITIONAL calculus, *SOLID solutions, *PETRI nets, *TRANSVERSAL lines

المؤلفون: Samiro Discher

مصطلحات موضوعية: logic, mathematical logic, propositional logic, proof theory, hilbert systems, condensed detachment, formal proofs, frege systems, proof complexity, propositional calculus, hpc, mpi, tbb

العلاقة: https://github.com/xamidi/pmGenerator/tree/1.2.0Test; https://dx.doi.org/10.5281/zenodo.10931360Test

الإتاحة: https://doi.org/10.5281/zenodo.1093136110.5281/zenodo.10931360Test