ஒக்காம் இயற்கணிதம்
கணிதத்தில் ஒக்காம் இயற்கணிதம் (Ockham algebra) என்பது இரட்டை உள் அமைவியம் கொண்ட வரம்புள்ள பங்கீட்டுப் பின்னல் ஆகும்.
அதாவது, ~ என்ற செயல்பாடு ~(x ∧ y) = ~x ∨ ~y, ~(x ∨ y) = ~x ∧ ~y, ~0 = 1, ~1 = 0 என்பதைத் திருப்திப்படுத்துகிறது.
இதனை 1977 இல் பெர்மன் அறிமுகப்படுத்தினார். 1979 இல் உர்குவார்ட் மூலம் வில்லியம் ஒக்காம் என்பவரின் பெயரால் வெளியிடப்பட்டது.
பூலிய இயற்கணிதம், டி மார்கன் இயற்கணிதம், ஸ்டோன் இயற்கணிதம், கிளீன் இயற்கணிதம் ஆகியவை ஒக்காம் இயற்கணிதத்திற்கு எடுத்துக்காட்டுகள் ஆகும்.
மேற்கோள்கள் தொகு
- Berman, Joel (1977), "Distributive lattices with an additional unary operation", Aequationes Mathematicae, 16 (1): 165–171, doi:10.1007/BF01837887, ISSN 0001-9054, MR 0480238 (pdf available பரணிடப்பட்டது 2017-09-12 at the வந்தவழி இயந்திரம் from GDZ)
- Blyth, Thomas Scott; Varlet, J. C. (1994). Ockham algebras. Oxford University Press. பன்னாட்டுத் தரப்புத்தக எண்:978-0-19-859938-8. https://archive.org/details/ockhamalgebras0000blyt.
- Urquhart, Alasdair (1979), "Distributive lattices with a dual homomorphic operation", Polska Akademia Nauk. Institut Filozofii i Socijologii. Studia Logica, 38 (2): 201–209, doi:10.1007/BF00370442, hdl:10338.dmlcz/102014, ISSN 0039-3215, MR 0544616